Modelling concurrent interactions

DOI10.1016/J.TCS.2005.09.068MaRDI QIDQ820134zbMATH OpenOpenAlexFDO

Authors Juliana Küster-Filipe

Publication date 6 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.09.068

zbMATH Keywords

semanticsdistributed temporal logiclabelled event structuressequence diagramsUML 2.0

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 3913662
• Reasoning about concurrent interaction
• scientific article; zbMATH DE number 176124
• scientific article; zbMATH DE number 1314563
• Concurrency and interaction in complex systems
• scientific article; zbMATH DE number 1969724
• Modelling concurrent behaviours by commutativity and weak causality relations

Cites work

• scientific article; zbMATH DE number 1182731 (Why is no real title available?)
• scientific article; zbMATH DE number 1956501 (Why is no real title available?)
• scientific article; zbMATH DE number 1508923 (Why is no real title available?)
• scientific article; zbMATH DE number 2087521 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Specification diagrams for actor systems

Cited in

(10)

• Synthesis of Reo circuits from scenario-based interaction specifications
• scientific article; zbMATH DE number 1951188 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• A semantics of sequence diagrams.
• scientific article; zbMATH DE number 873919 (Why is no real title available?)
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Decomposing Interactions
• An interleaving semantics for UML 2 interactions using Petri nets
• On Communicating Finite-State Machines
• scientific article; zbMATH DE number 3913662 (Why is no real title available?)

This page was built for publication: Modelling concurrent interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820134)