The following pages link to First-order axioms for asynchrony (Q6044130):
Displayed 5 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)