A Co-iterative Characterization of Synchronous Stream Functions (1997)

View PDF

Download Links

by Paul Caspi , Marc Pouzet
Citations:27 - 4 self

Active Bibliography

62 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
6 A Functional Extension To Lustre – Paul Caspi, Marc Pouzet - 1995
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
Réseaux de Kahn synchrones – Paul Caspi, Marc Pouzet, Projet Inria-spectre, Flots De Donn'ees
700 A Methodology for Agent-Oriented Analysis and Design – Michael Wooldridge , Nicholas R. Jennings, David Kinny - 1999
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999