Towards a formal foundation of the specification and description language SDL

DOI10.1007/BF01211434zbMath0712.68015OpenAlexW2073829931MaRDI QIDQ749198

Manfred Broy

Publication date: 1991

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211434

zbMATH Keywords

concurrent systemssemanticsspecification and description language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Unifying models

Cites Work

• Semantics of finite and infinite networks of concurrent communicating agents
• Unnamed Item

This page was built for publication: Towards a formal foundation of the specification and description language SDL