Priorities in statecharts

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

Volumn 1192 LNCS, Issue , 1997, Pages 404-429

  Maggiolo Schettini, Andrea ^a   Merro, Massimo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

POINT OF VIEWS; STATECHARTS;

SPECIFICATION LANGUAGES;

SEMANTICS;

EID: 84876382884     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62503-8_19     Document Type: Conference Paper

References (13)

1. von der Beeck, M.: A Comparison of Statecharts Variants, Proc. FTRTFT '94, Lecture Notes in Computer Science 863, Springer, Berlin, 1994, pp. 128-148.
2. Berry, G.: Preemption in Concurrent Systems, Proc. 13th FSTTCS Conference, Lecture Notes in Computer Science 761, Springer, Berlin, 1993, pp. 72-93.
3. Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming 19 (1992), pp. 87-152. (Pubitemid 23582985)
4. Day, N.: A Model Checker for Statecharts (Linking CASE Tools with Formal Methods), Technical Report 93-35, University of British Columbia, Vancouver, Canada, 1993.
5. Drusinsky, D., Harel, D.: Using Statecharts for Hardware Description and Synthesis, IEEE Transactions on Computer-Aided Design 8 (1989), pp. 798-807. (Pubitemid 20712041)
6. Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231-274. (Pubitemid 17617706)
7. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot M.: Statemate: A Working Environment for the Development of Complex Reactive Systems, IEEE Transations on Software Engineering 16 (1990), pp. 403-414. (Pubitemid 20712683)
8. 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.
9. Maggiolo-Schettini, A., Peron, A., Tini, S.: Equivalence of Statecharts, Proc. CONCUR '96, Lecture Notes in Computer Science 1119, Springer, Berlin, 1996, pp. 687-702.
10. Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Composition, Proc. CONCUR '92, Lecture Notes in Computer Science 630, Springer, Berlin, 1992, pp. 550-564.
11. Peron, A.: Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica, Università di Pisa, PhD Thesis, TD 21/93, 1993.
12. Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Proc. TACS '94, Lecture Notes in Computer Science 789, Springer, Berlin, 1994, pp. 806-821.
13. Pnueli, A., Shalev, M.: What is a Step: On the Semantics of Statecharts, Proc. TACS '91, Lecture Notes in Computer Science 526, Springer, Berlin, 1991, pp. 244-264.