Pages that link to "Item:Q315296"

The following pages link to Self-adaptation and secure information flow in multiparty communications (Q315296):

Displaying 7 items.

• Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
• Data-driven adaptation for smart sessions (Q2360650) (← links)
• (Q5009452) (← links)
• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
• (Q5129942) (← links)
• (Q5875401) (← links)
• On first-order runtime enforcement of branching-time properties (Q6090988) (← links)