The following pages link to Job Zwiers (Q1187625):
Displayed 8 items.
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship (Q1187626) (← links)
- (Q2768503) (← links)
- Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems (Q2956676) (← links)
- (Q3002509) (← links)
- (Q3347278) (← links)
- (Q3681905) (← links)
- (Q5137881) (← links)
- From sequential layers to distributed processes (Q5348853) (← links)