The following pages link to Programming in occam 2 (Q3994745):
Displaying 15 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)
- The laws of Occam programming (Q2640348) (← links)
- (Q3481212) (← links)
- OCCAM 2. Die Programmiersprache für parallele Verarbeitung. Ein Einführungs- und Nachschlagewerk. (The programming language for parallel processing. An introduction and reference book). (Q3992790) (← links)
- (Q4040899) (← links)
- Coding Ockham's Razor (Q4583135) (← links)
- (Q4715408) (← links)
- Java threads and SugarCubes (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)