The following pages link to (Q3994745):
Displaying 9 items.
- The Fork95 programming language: Design, implementation, application. (Q676263) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- An incremental specification of the sliding-window protocol (Q1176075) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- (Q4789082) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
