Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
On the development of reactive systems
Logics and models of concurrent systems
Introduction to design choices in the semantics of Statecharts
Information Processing Letters
Reactive C: an extension of C to program reactive systems
Software—Practice & Experience
Bilattices and the semantics of logic programming
Journal of Logic Programming
A compositional axiomatization of Statecharts
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A compositional &mgr;-calculus proof system for statecharts processes
Theoretical Computer Science
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
IEEE Transactions on Software Engineering
A comparison of Statecharts step semantics
Theoretical Computer Science
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Compositional Semantics for Statecharts using Labeled Transition Systems
CONCUR '94 Proceedings of the Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
The STATEMATE Verification Environment - Making It Real
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Semantics of Reactive Systems in Abstract Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Modeling Statecharts Behaviour in a Fully Abstract Way
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Reconciling statechart semantics
Science of Computer Programming
Compiling Esterel
Computing SyncCharts Reactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Argos: an automaton-based synchronous language
Computer Languages
| Hi-index | 0.00 |
In their seminal 1991 paper "What is in a Step: On the Semantics of Statecharts", Pnueli and Shalev showed how, in the presence of global consistency and while observing causality, the synchronous language Statecharts can be given coinciding operational and declarative step semantics. Over the past decade, this semantics has been supplemented with order-theoretic, denotational, axiomatic and game-theoretic characterisations, thus revealing itself as a rather canonical interpretation of the synchrony hypothesis. In this paper, we survey these characterisations and use them to emphasise the close but not widely known relations of Statecharts to the synchronous language Esterel and to the field of logic programming. Additionally, we highlight some early reminiscences on Amir Pnueli's contributions to characterise the semantics of Statecharts.