The following pages link to (Q4945248):
Displaying 7 items.
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)
- Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447) (← links)
- Semantic Correctness for a Parallel Object-Oriented Language (Q3474904) (← links)
- (Q3685165) (← links)
- (Q4372486) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)