Equivalences of statecharts

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

Volumn 1119, Issue , 1996, Pages 687-702

  Maggiolo Schettini, Andrea ^a   Peron, Adriano ^b   Tini, Simone ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

LABELLED TRANSITION SYSTEMS; STATECHARTS;

SEMANTICS;

EID: 84955559679     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_84     Document Type: Conference Paper

References (10)

1. von der Beeck, M.: A Comparison of Statecharts Variants, Lecture Notes in Computer Science 863, Springer, Berlin, 1994, pp. 128-148.
2. Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming 19 (1992), pp. 87-152.
3. De Nicola, R.: Extensional Equivalences for Transition Systems, Acta Informatica 24 (1987), pp. 211-237.
4. Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231-274.
5. Huizing, C., Gerth, R., de Roever, W. P.: Modelling Statecharts Behaviour in a Fully Abstract Way, Lecture Notes in Computer Science 299, Springer, Berlin, 1988, pp. 271-294.
6. Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Composition, Lecture Notes in Computer Science 630, Springer, Berlin, 1992, pp. 550-564.
7. Harel, D., Pnueli, A., Schmidt, J. P., Sherman, R.: On the Formal Semantics of Statecharts, Proc. 2nd IEEE Symposium on Logic in Computer Science, IEEE CS Press, New York, 1987, pp. 54-64.
8. Pnueli, A., Shalev, M.: What is a Step: On the Semantics of Statecharts, Lecture Notes in Computer Science 525, Springer, Berlin, 1991, pp. 244-464.
9. Uselton, A.C., Smolka, S.A.: A Compositional Semantics for Statecharts using Labeled Transition System, Lecture Notes in Computer Science 836, Springer, Berlin, 1994, pp. 2-17.
10. Uselton, A.C., Smolka, S.A.: A Process Algebraic Semantics for Statecharts via State Refinement, Proceedings of IFIP Working Conference on Programming Concepts, Methods and Calculi, 1994, pp. 267-286.