Similar Items: Compatibility Properties of Synchronously and Asynchronously Communicating Components
- Exploring synchronous, asynchronous, and conventional online courses in higher education
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
- A Session Type System for Asynchronous Unreliable Broadcast Communication
- Asynchronous Composition of LTL Properties over Infinite and Finite Traces
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
- Higher-Order Asynchronous Effects