Pages that link to "Item:Q5096854"
From MaRDI portal
The following pages link to Modelling concurrency with semi-commutations (Q5096854):
Displaying 10 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- An equational modeling of asynchronous concurrent programming (Q2037432) (← links)
- Meta model of concurrent computation. II: Symmetric communication (Q2704969) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- (Q4027626) (← links)
- On regular compatibility of semi-commutations (Q4630282) (← links)
- On the synchronization of semi-traces (Q5055913) (← links)
- Semi-trace morphisms and rational transductions (Q5096739) (← links)