Message Sequence Charts in the Development Process — Roles and Limitations

DOI10.1016/S1571-0661(04)80482-1zbMath1268.68109MaRDI QIDQ2841315

Manfred Broy

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A calculus of communicating systems
• Interpreting message flow graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Message Sequence Charts in the Development Process — Roles and Limitations