What is in a step: On the semantics of statecharts

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

Volumn 526 LNCS, Issue , 1991, Pages 244-264

  Pnuel, A ^a   Shalev, M ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

GLOBAL CONSISTENCY; STATE CHARTS;

SEMANTICS;

EID: 84958790003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54415-1_49     Document Type: Conference Paper

References (10)

1. G. Berry and G. Gonthier. The Synchronous Programming Language Esterel, Design, Semantics, Implementation. Technical Report, Technical Report 327, INRIA, 1988. to Appear in Science of Computer Programming.
2. R Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre, a declarative language for programming synchronous systems. In Proc. 14th ACM Symp. Princ. of Prog. Lang., pages 178-188, 1987.
3. D. Harel. Statecharts: A visual formalism for complex systems. Sei. Comp. Prog., 8:231-274, 1987.
4. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Software Engin., 16:403-414, 1990.
5. D. Harel, A. Pnueli, J. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proc. First IEEE Symp. Logic in Comp. Sei., pages 54-64, 1986.
6. C. Huizing. Semantics of reactive systems: comparison and full abstraction. PhD thesis, Technical University Eindhoven, 1991.
7. C. Huizing and R. Gerth. On the Semantics of Reactive Systems. Technical Report, Eindhoven University of Technology, 1988.
8. C. Huizing, R. Gerth, and W. de Roever. Modeling statecharts behavior in a fully abstract way. In Proc. 13th CAAP, pages 271-294, Lecture Notes in Comp. Sei. 299, Springer-Verlag, 1988.
9. F. Maraninchi. Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Comp. Sei. 407, Springer-Verlag, 1989.
10. A. Pnueli and M. Shalev. What is in a step? In J. Klop, J. Meijer, and J. Rutten, editors, J. W. De Bakker, Liber Amicorum, pages 373-400, CWI, Amsterdam, 1989.