Pages that link to "Item:Q1770427"
From MaRDI portal
The following pages link to Realizability and verification of MSC graphs (Q1770427):
Displaying 14 items.
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Realizable temporal logics for web service choreography (Q739636) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Checking MSC specifications for timing inconsistency (Q1599639) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- (Q5190778) (← links)
- Synthesis of Safe Message-Passing Systems (Q5458841) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Complete multiparty session type projection with automata (Q6535693) (← links)
