Publication:2754187
From MaRDI portal
zbMath0973.68042MaRDI QIDQ2754187
Madhavan Mukund, P. S. Thiagarajan, Jesper G. Henriksen, K. Narayan Kumar
Publication date: 6 December 2001
68Q45: Formal languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Realizability and verification of MSC graphs, Bounded MSC communication, Realizability of high-level message sequence charts: closing the gaps, Regular sets of infinite message sequence charts, Infinite-state high-level MSCs: model-checking and realizability, Message-passing automata are expressively equivalent to EMSO logic, A theory of regular MSC languages