Multiple Synchrony in MSC

DOI10.1016/j.entcs.2009.05.050zbMath1347.68263OpenAlexW2050042112MaRDI QIDQ5179361

Juliano Iyoda, Augusto Sampaio, Flávia Falcão

Publication date: 19 March 2015

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.050

zbMATH Keywords

process algebraCSPmessage sequence chartssynchronous communicationcommunicating sequential processesMSCmultiple synchrony

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• CSP-prover
• FDR2

Cites Work

• Unnamed Item
• Unnamed Item
• A hierarchy of communication models for message sequence charts
• Formal Specification Generation from Requirement Documents
• Tools and Algorithms for the Construction and Analysis of Systems
• LSCs: Breathing life into message sequence charts

This page was built for publication: Multiple Synchrony in MSC