- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Formal Aspects of Computing ; 7 (2015), 5. - S. 473-509. - ISSN 0934-5043. - eISSN 1433-299X
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2015
- Creator
-
Ladkin, Peter B.
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-208942
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ladkin, Peter B.
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2015
Other Objects (12)
Four Issues Concerning the Semantics of Message Flow Graphs
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Timing Constraints in Message Sequence Chart Specifications
On the semantics of message sequence charts
Syntactic Analysis of Message Sequence Chart Specifications
Comments on a Proposed Semantics for Basic Message Sequence Charts
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
A region graph based approach to termination proofs
A Region Graph Based Approach to Termination Proofs
Four Issues Concerning the Semantics of Message Flow Graphs
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Timing Constraints in Message Sequence Chart Specifications
On the semantics of message sequence charts
Syntactic Analysis of Message Sequence Chart Specifications
Comments on a Proposed Semantics for Basic Message Sequence Charts
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
A region graph based approach to termination proofs
A Region Graph Based Approach to Termination Proofs
Four Issues Concerning the Semantics of Message Flow Graphs
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Timing Constraints in Message Sequence Chart Specifications
On the semantics of message sequence charts
Syntactic Analysis of Message Sequence Chart Specifications
Comments on a Proposed Semantics for Basic Message Sequence Charts
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
A region graph based approach to termination proofs