Elementary transition systems and refinement

DOI10.1007/BF01185561zbMath0790.68091MaRDI QIDQ1323371

P. S. Thiagarajan, Grzegorz Rozenberg, Mogens Nielsen

Publication date: 1992

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

compositional reasoningelementary net systemselementary transition systemsmodel of distributed computations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Partial (set) 2-structures. II: State spaces of concurrent systems
• A calculus of communicating systems
• Elementary transition systems
• Unnamed Item
• Unnamed Item