Modelling concurrent interactions

DOI10.1016/J.TCS.2005.09.068zbMath1086.68092OpenAlexW1974181258MaRDI QIDQ820134

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)

Related Items (3)

Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ On Communicating Finite-State Machines

Cites Work

• Specification diagrams for actor systems
• Foundations of Software Science and Computation Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelling concurrent interactions