Pages that link to "Item:Q4922078"
From MaRDI portal
The following pages link to Unifying Semantics for Concurrent Programming (Q4922078):
Displaying 7 items.
- Metric semantics for concurrency (Q1113660) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)
- (Q4945248) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)