The theory of message sequence charts

DOI10.1142/9789814271059_0010zbMATH Open1256.68118OpenAlexW2399055703MaRDI QIDQ4907862FDOQ4907862

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

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

zbMATH Keywords

specificationmodel-checkingmessage sequence charts

Mathematics Subject Classification ID

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

Cited In (32)

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

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)