Pages that link to "Item:Q1884911"

The following pages link to Realizability of high-level message sequence charts: closing the gaps (Q1884911):

Displaying 3 items.

• Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
• Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
• Complete multiparty session type projection with automata (Q6535693) (← links)