scientific article; zbMATH DE number 1759427

MaRDI QIDQ4536376zbMATH OpenFDO

Authors Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Publication date 25 June 2002

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A theory of regular MSC languages
• scientific article; zbMATH DE number 1670862
• The theory of message sequence charts
• scientific article; zbMATH DE number 2087422
• scientific article; zbMATH DE number 1759633

Cited in

(18)

• Realizability of high-level message sequence charts: closing the gaps
• Reasoning about layered message passing systems
• Regular sets of infinite message sequence charts
• Message-passing automata are expressively equivalent to EMSO logic
• A theory of regular MSC languages
• scientific article; zbMATH DE number 1670862 (Why is no real title available?)
• scientific article; zbMATH DE number 2086239 (Why is no real title available?)
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• scientific article; zbMATH DE number 1980918 (Why is no real title available?)
• scientific article; zbMATH DE number 1759633 (Why is no real title available?)
• scientific article; zbMATH DE number 2086410 (Why is no real title available?)
• scientific article; zbMATH DE number 2086413 (Why is no real title available?)
• The theory of message sequence charts
• CONCUR 2004 - Concurrency Theory
• Detecting Races in Ensembles of Message Sequence Charts
• Netcharts: bridging the gap between HMSCs and executable specifications.
• A hierarchy of communication models for message sequence charts
• Pattern matching and membership for hierarchical message sequence charts

This page was built for publication:

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