Pages that link to "Item:Q1884911"
From MaRDI portal
The following pages link to Realizability of high-level message sequence charts: closing the gaps (Q1884911):
Displaying 6 items.
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- Foundations of Software Science and Computational Structures (Q5705898) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900574) (← links)
- Complete multiparty session type projection with automata (Q6535693) (← links)