The theory of message sequence charts

DOI10.1142/9789814271059_0010MaRDI QIDQ4907862zbMATH OpenOpenAlexFDO

Authors K. Narayan Kumar

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/215a6518a42e52762d248a6e85ff0a9406a9b0a0

zbMATH Keywords

specificationmodel-checkingmessage sequence charts

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1307655
• scientific article; zbMATH DE number 1954389
• A theory of regular MSC languages
• scientific article; zbMATH DE number 1759427

Cited in

(32)

• Formal methods for analysis of discrete systems using a specification language
• Realizability of high-level message sequence charts: closing the gaps
• scientific article; zbMATH DE number 2086413 (Why is no real title available?)
• Specification and verification using message sequence charts
• Lectures on Concurrency and Petri Nets
• Quantitative analysis of communication scenarios
• On the composition of Tunstall messages
• An input language based on extended message sequence charts and used for test specification
• A semantic and methodological essence of message sequence charts
• scientific article; zbMATH DE number 1701359 (Why is no real title available?)
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• scientific article; zbMATH DE number 2081110 (Why is no real title available?)
• scientific article; zbMATH DE number 1418329 (Why is no real title available?)
• scientific article; zbMATH DE number 1759427 (Why is no real title available?)
• scientific article; zbMATH DE number 1670862 (Why is no real title available?)
• Basic protocols, message sequence charts, and the verification of requirements specifications
• Languages for analysis and testing of event sequences
• scientific article; zbMATH DE number 1954389 (Why is no real title available?)
• Modelling a railway crossing with message sequence charts and Petri nets
• MSCPDL -- a language for behavioural abstraction
• A hierarchy of communication models for message sequence charts
• A theory of regular MSC languages
• Delayed-choice semantics for pomset families and message sequence graphs
• scientific article; zbMATH DE number 1728508 (Why is no real title available?)
• scientific article; zbMATH DE number 1728519 (Why is no real title available?)
• scientific article; zbMATH DE number 1728524 (Why is no real title available?)
• Message sequence charts in the development process -- roles and limitations
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• Foundations of Software Science and Computation Structures
• Interpreting message flow graphs
• Programming Languages and Systems

This page was built for publication: The theory of message sequence charts

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