The following pages link to (Q4484505):
Displaying 9 items.
- A semantics for concurrent separation logic (Q879367) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Fairness of actions in system computations (Q2502272) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation (Q3614842) (← links)
- Retracing CSP (Q5262957) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
