A semantic and methodological essence of message sequence charts

DOI10.1016/j.scico.2004.04.003zbMath1085.68011OpenAlexW1992681819MaRDI QIDQ703583

Manfred Broy

Publication date: 11 January 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.04.003

zbMATH Keywords

interactive distributed systems

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items

Multifunctional software systems: Structured modeling and specification of functional requirements