Multiple synchrony in MSC

DOI10.1016/J.ENTCS.2009.05.050MaRDI QIDQ5179361zbMATH OpenOpenAlexFDO

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

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

communicating sequential processesCSPmessage sequence chartsMSCmultiple synchronyprocess algebrasynchronous communication

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)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1701776
• scientific article; zbMATH DE number 1307655
• scientific article; zbMATH DE number 1760052
• scientific article; zbMATH DE number 1728525

Cites work

• A hierarchy of communication models for message sequence charts
• A process algebra for interworkings.
• Formal specification generation from requirement documents
• scientific article; zbMATH DE number 1951541 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• Implementation of the conformation of MSC and SDL diagrams in the REAL technology
• scientific article; zbMATH DE number 1951541 (Why is no real title available?)

Describes a project that uses

Uses Software

• CSP-prover
• FDR2

This page was built for publication: Multiple synchrony in MSC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5179361)