The following pages link to (Q4535063):
Displaying 11 items.
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- Pattern matching and membership for hierarchical message sequence charts (Q927396) (← links)
- Realizability and verification of MSC graphs (Q1770427) (← links)
- Realizability of high-level message sequence charts: closing the gaps (Q1884911) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Event Correlation with Boxed Pomsets (Q3614848) (← links)
- (Q5190778) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Interaction-based offline runtime verification of distributed systems (Q6536440) (← links)