Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Transition system specifications with negative premises
Theoretical Computer Science
Journal of the ACM (JACM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handbook of Process Algebra
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
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
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
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
A Process Algebraic Semantics for Statecharts via State Refinement
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
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
The Meaning of Negative Premises in Transition System Specifications II
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Full Abstraction in Structural Operational Semantics (Extended Abstract)
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A Model Checker for Statecharts
A Model Checker for Statecharts
Visual Specification of Systems with Heterogeneous Coordination Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Reconciling statechart semantics
Science of Computer Programming
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
Causal semantics for the algebra of connectors
Formal Methods in System Design
What is in a step: new perspectives on a classical question
Time for verification
Multigranular scale speech recognizers: technological and cognitive view
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
| Hi-index | 5.23 |
The paper studies some variants of Statecharts step semantics in the framework of structural operational semantics. The chosen framework allows to study precongruence and congruence properties of behavioral preorders and equivalences and to compare, with respect to these properties, the different step semantics considered.