The following pages link to Asynchronous sequential processes (Q1013090):
Displaying 5 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Active Objects with Deterministic Behaviour (Q6487929) (← links)