scientific article; zbMATH DE number 1307655
From MaRDI portal
Publication:4252989
Recommendations
Cited in
(26)- Multiple synchrony in MSC
- Describing interactions between MSC components: The MSC connectors.
- MSCPDL -- a language for behavioural abstraction
- scientific article; zbMATH DE number 1951542 (Why is no real title available?)
- Quantitative analysis of communication scenarios
- Delayed-choice semantics for pomset families and message sequence graphs
- scientific article; zbMATH DE number 1760052 (Why is no real title available?)
- Programming Languages and Systems
- An input language based on extended message sequence charts and used for test specification
- Languages for analysis and testing of event sequences
- Fundamental Approaches to Software Engineering
- The theory of message sequence charts
- LSCs: Breathing life into message sequence charts
- scientific article; zbMATH DE number 2043461 (Why is no real title available?)
- Verification of heterogeneous multi-agent system using MCMAS
- A semantics for timed MSC
- A semantic and methodological essence of message sequence charts
- Specification and verification using message sequence charts
- Algebraic Methodology and Software Technology
- Causal message sequence charts
- Message sequence charts in the development process -- roles and limitations
- scientific article; zbMATH DE number 1951544 (Why is no real title available?)
- An event structure based semantics for high-level message sequence charts
- Modelling a railway crossing with message sequence charts and Petri nets
- Properties of a predicate transformer of the VRS system
- scientific article; zbMATH DE number 5372321 (Why is no real title available?)
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 Q4252989)
