Modelling concurrent interactions

DOI10.1016/J.TCS.2005.09.068zbMATH Open1086.68092OpenAlexW1974181258MaRDI QIDQ820134FDOQ820134

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

Recommendations

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 3913662
• Reasoning about concurrent interaction
• scientific article
• 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

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)

Cites Work

• Foundations of Software Science and Computation Structures
• Specification diagrams for actor systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• Synthesis of Reo circuits from scenario-based interaction specifications
• Algebraic Methodology and Software Technology
• A semantics of sequence diagrams.
• Title not available (Why is that?)
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Decomposing Interactions
• On Communicating Finite-State Machines
• Title not available (Why is that?)

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)