Pages that link to "Item:Q2037432"
From MaRDI portal
The following pages link to An equational modeling of asynchronous concurrent programming (Q2037432):
Displaying 7 items.
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- An abstract machine for asynchronous programs with closures and priority queues (Q1685782) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- (Q4219054) (← links)
- (Q4823421) (← links)