scientific article; zbMATH DE number 1307655
From MaRDI portal
Publication:4252989
zbMATH Open0930.68084MaRDI QIDQ4252989FDOQ4252989
Authors: Michel A. Reniers
Publication date: 23 June 1999
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (26)
- Multiple synchrony in MSC
- Describing interactions between MSC components: The MSC connectors.
- MSCPDL -- a language for behavioural abstraction
- Title not available (Why is that?)
- Delayed-choice semantics for pomset families and message sequence graphs
- Quantitative analysis of communication scenarios
- Title not available (Why is that?)
- Programming Languages and Systems
- An input language based on extended message sequence charts and used for test specification
- Fundamental Approaches to Software Engineering
- Languages for analysis and testing of event sequences
- The theory of message sequence charts
- LSCs: Breathing life into message sequence charts
- Title not available (Why is that?)
- 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
- Message sequence charts in the development process -- roles and limitations
- Title not available (Why is that?)
- Causal message sequence charts
- 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
- Title not available (Why is that?)
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)