The theory of message sequence charts
From MaRDI portal
Publication:4907862
Recommendations
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)