Pages that link to "Item:Q5710005"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5710005):
Displaying 8 items.
- Relational structures model of concurrency (Q934912) (← links)
- Fundamentals of modelling concurrency using discrete relational structures (Q1369226) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- A formal model of concurrent systems based on bipartite directed acyclic graph (Q2492233) (← links)
- Characterising concurrent histories (Q2804174) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Relations between Concurrent-Write Models of Parallel Computation (Q3798244) (← links)