Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
No abstract available.
Related papers
- An Automata Based Interpretation of Live Sequence Charts TACAS 2001
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts CAV 2006
- Compositional Message Sequence Charts TACAS 2001
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs TACAS 2005
- Multiple instances and symbolic variables in executable sequence charts OOPSLA 2002
- Local Liveness for Compositional Modeling of Fair Reactive Systems CAV 1995
- Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts ECOOP 2023
- Fully Generalized Reactivity(1) Synthesis TACAS 2024