Causal Message Sequence Charts

DOI10.1007/978-3-540-74407-8_12MaRDI QIDQ3525636zbMATH OpenOpenAlexFDO

Authors Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_12

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Causal message sequence charts
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• LSCs: Breathing life into message sequence charts
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1954389

Cited in

(9)

• Graph Transformation with Dependencies for the Specification of Interactive Systems
• Strong Safe Realizability of Message Sequence Chart Specifications
• An event structure based semantics for high-level message sequence charts
• Local Testing of Message Sequence Charts Is Difficult
• Theoretical Aspects of Computing - ICTAC 2004
• Lectures on Concurrency and Petri Nets
• Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
• Certified implementability of global multiparty protocols
• Causal message sequence charts

This page was built for publication: Causal Message Sequence Charts

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