The following pages link to Modelling concurrent interactions (Q820134):
Displaying 8 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- A semantics of sequence diagrams. (Q1853122) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- An interleaving semantics for UML 2 interactions using Petri nets (Q2510133) (← links)
- On Communicating Finite-State Machines (Q3657436) (← links)
- (Q3690204) (← links)
- (Q4876646) (← links)
- Algebraic Methodology and Software Technology (Q5312988) (← links)