Pages that link to "Item:Q1380121"
From MaRDI portal
The following pages link to Partial order and contextual net semantics for atomic and locally atomic CC programs (Q1380121):
Displaying 6 items.
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- (Q3792236) (← links)
- (Q4537510) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)