Stem mscs$ (all stems)

6 papers:

LATA-2013-BolligCHKS #automaton #branch #communication

Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.

TACAS-2005-Genest #composition #sequence chart

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.

FoSSaCS-2004-GenestMMP #partial order #specification #using #verification

Specifying and Verifying Partial Order Properties Using Template MSCs (BG, MM, AM, DP), pp. 195–210.

IFM-2004-DongQS #generative #specification

Generating MSCs from an Integrated Formal Specification Language (JSD, SQ, JS), pp. 168–186.

FASE-2003-Kruger #using

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs (IK), pp. 387–402.

ICALP-2002-GenestMSZ #infinity #model checking

Infinite-State High-Level MSCs: Model-Checking and Realizability (BG, AM, HS, MZ), pp. 657–668.