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