Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
No abstract available.
Related papers
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts TACAS 1997
- Compositional Message Sequence Charts TACAS 2001
- Scratchpad allocation for concurrent embedded software TOPLAS 2010
- Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts ECOOP 2023
- A Toolset for Message Sequence Charts CAV 1998
- TRIM: A Tool for Triggered Message Sequence Charts CAV 2003
- Race Conditions in Message Sequence Charts APLAS 2005
- Detecting Races in Ensembles of Message Sequence Charts TACAS 2007