Reasoning about sequential and branching behaviours of message sequence graphs

DOI10.1007/3-540-48224-5_66MaRDI QIDQ4535064zbMATH OpenFDO

Authors Parthasarathy Madhusudan

Publication date 12 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2076/20760809

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) 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

• scientific article; zbMATH DE number 2081110
• scientific article; zbMATH DE number 1954389
• Message sequence graphs and decision problems on Marzurkiewicz traces
• Realizability and verification of MSC graphs
• On message sequence graphs and finitely generated regular MSC languages

Cited in

(13)

• Infinite-state high-level MSCs: model-checking and realizability
• A Kleene theorem and model checking algorithms for existentially bounded communicating automata
• Message-passing automata are expressively equivalent to EMSO logic
• A theory of regular MSC languages
• Specification and verification using message sequence charts
• Quantitative analysis of communication scenarios
• scientific article; zbMATH DE number 1954389 (Why is no real title available?)
• scientific article; zbMATH DE number 1980918 (Why is no real title available?)
• scientific article; zbMATH DE number 2081110 (Why is no real title available?)
• Message sequence graphs and decision problems on Marzurkiewicz traces
• Products of Message Sequence Charts
• Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
• Pattern matching and membership for hierarchical message sequence charts

This page was built for publication: Reasoning about sequential and branching behaviours of message sequence graphs

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