An Automata Based Interpretation of Live Sequence Charts
Abstract elided by the publisher.
Related papers
- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications TACAS 2009
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts CAV 2006
- Multiple instances and symbolic variables in executable sequence charts OOPSLA 2002
- A Toolset for Message Sequence Charts CAV 1998
- TRIM: A Tool for Triggered Message Sequence Charts CAV 2003
- Compositional Message Sequence Charts TACAS 2001
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs TACAS 2005
- Race Conditions in Message Sequence Charts APLAS 2005