Pages that link to "Item:Q1328556"
From MaRDI portal
The following pages link to Relation-based semantics for concurrency (Q1328556):
Displaying 8 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- (Q3691068) (← links)
- (Q3795188) (← links)
- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (Q4933286) (← links)
- (Q5155670) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395108) (← links)