The following pages link to A semantics of sequence diagrams. (Q1853122):
Displaying 7 items.
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- A formal semantics of data flow diagrams (Q1346602) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Ordering actions in sequence diagrams of UML (Q2768136) (← links)
- Ring embedding in faulty generalized honeycomb torus – GHT(<i>m, n, n</i>/2) (Q3066979) (← links)
- Embedding even-length cycles in a hexagonal honeycomb mesh (Q5451460) (← links)
