Fully-abstract statecharts semantics via intuitionistic Kripke models

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

Volumn 1853, Issue , 2000, Pages 163-174

  Lüttgen, Gerald ^a   Mendler, Michael ^b  

^a NASA LANGLEY RESEARCH CENTER   (United States)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

ABSTRACT SEMANTICS; ALGEBRAIC THEORIES; COMPOSITIONALITY; EXCLUDED-MIDDLE; KRIPKE MODEL; STATECHARTS;

SEMANTICS;

EID: 84974628224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_14     Document Type: Conference Paper

References (18)

1. R. Alur, S. Kannan, and M. Yannakakis. Communicating hierarchical state machines. In ICALP '99, volume 1644 of LNCS, pages 169-178, 1999.
2. G. Berry. The constructive semantics of pure Esterel, 1999. Draft Version 3. Available at http://www-sop.inria.fr/meije/Personnel/Gerard.Berry.html.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. SCP, 19(2):87-152, 1992.
4. M. Broy. Abstract semantics of synchronous languages: The example Esterel. Technical Report TUM-I9706, Munich Univ. of Technology, 1997.
5. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In Compositionality: The Significant Difference, volume 1536 of LNCS, pages 186-238, 1997.
6. D. Harel. Statecharts: A visual formalism for complex systems. SCP, 8:231-274, 1987.
7. D. Harel and E. Gery. Executable object modeling with Statecharts. IEEE Computer, pages 31-42, July 1997.
8. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Trans. on Software Engineering, 5(4):293-333, 1996.
9. D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In LICS '87, pages 54-64. IEEE Computer Society Press, 1987.
10. C. Huizing. Semantics of Reactive Systems: Comparison and Full Abstraction. PhD thesis, Eindhoven Univ. of Technology, 1991.
11. C. Huizing, R. Gerth, and W.-P. de Roever. Modeling Statecharts behavior in a fully abstract way. In CAAP '88, volume 299 of LNCS, pages 271-294, 1988.
12. G. Lüttgen and M. Mendler. What is in a step: A fully-abstract semantics for Statecharts macro steps via intuitionistic Kripke models. Technical Report CS-00- 04, Univ. of Sheffield, 2000.
13. G. Lüttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In CONCUR '99, volume 1664 of LNCS, pages 399-414, 1999.
14. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In CONCUR '96, volume 1119 of LNCS, pages 687-702, 1996.
15. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR '92, volume 630 of LNCS, pages 550-564, 1992.
16. A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In TACS '91, volume 526 of LNCS, pages 244-264, 1991
17. A.C. Uselton and S.A. Smolka. A compositional semantics for Statecharts using labeled transition systems. In CONCUR '94, volume 836 of LNCS, pages 2-17, 1994
18. D. van Dalen. Intuitionistic logic. In Handbook of Philosophical Logic, volume III, chapter 4, pages 225-339. Reidel, 1986