Pages that link to "Item:Q2760239"
From MaRDI portal
The following pages link to Trace-oriented models of concurrency (Q2760239):
Displaying 10 items.
- Processes with infinite liveness requirements (Q383788) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- (Q4709338) (← links)
- On the synchronization of traces (Q4733415) (← links)
- On Compiling Structured Interactive Programs with Registers and Voices (Q5448652) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709384) (← links)