scientific article; zbMATH DE number 1759633
From MaRDI portal
Publication:4536625
zbMath0999.68114MaRDI QIDQ4536625
No author found.
Publication date: 25 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (8)
Bounded MSC communication ⋮ Realizability of high-level message sequence charts: closing the gaps ⋮ Regular sets of infinite message sequence charts ⋮ A quadratic construction for Zielonka automata with acyclic communication structure ⋮ Pattern matching and membership for hierarchical 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
This page was built for publication:
