On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
A comparison of Statecharts step semantics
Theoretical Computer Science
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
What is in a step: new perspectives on a classical question
Time for verification
Constructive semantics for instantaneous reactions
Theoretical Computer Science
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Argos: an automaton-based synchronous language
Computer Languages
| Hi-index | 0.01 |