Compositional semantics of non-deterministic synchronous languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1058, Issue , 1996, Pages 235-249

  Maraninchi, F ^a   Halbwachs, N ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPOSITIONAL SEMANTICS; DETERMINISTIC PROCESS; DETERMINISTIC PROGRAMS; EQUIVALENCE RELATIONS; NON-DETERMINISTIC PROCESS; OPERATIONAL SEMANTICS; PROCESS COMPOSITIONS; SYNCHRONOUS LANGUAGES;

SEMANTICS;

EID: 84893308009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61055-3_40     Document Type: Conference Paper

References (11)

1. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. O. Coudert, C. Berthet, and J.C. Madre. Verification of sequential machines using boolean functional vectors. In L.J.M. Claesen, editor, Formal VLSI Correctness Verification. North-Holland, November 1989.
3. C. Courcoubetis, S. Graf, and J. Sifakis. An algebra for boolean processes. In Workshop on Computer-Aided Verification 91, Aalborg. LNCS Vol. 575, June 1991.
4. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
5. D. Harel. Statecharts: A visual approach to complex systems. In Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, La Colle-sur-Loup, 1984.
6. N. Halbwachs and F. Maraninchi. On the symbolic analysis of combinational loops in circuits and synchronous programs. In Euromicro'95, Como (Italy), September 1995.
7. Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.
8. R.P. Kurshan. Analysis of discrete event coordination. In J.W. de Bakker, W.-P. de Roever, and G. Rozemberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness. LNCS 430, Springer Verlag, May 1989.
9. N.A. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI-Quaterly 3, CWI, Amsterdam, 1989.
10. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR'92, Stony Brook, August 1992. LNCS 630, Springer Verlag.
11. T.R. Shiple, H. Touati, and G. Berry. Causality analysis of circuits. In preparation 1995.