The following pages link to (Q4484487):
Displayed 5 items.
- 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)
- Realisability of pomsets (Q2011200) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)