Job Zwiers

2 books • 2 series

Nov 26, 2001
Cover of Concurrency Verification

Concurrency Verification (Cambridge Tracts in Theoretical Computer Science)

Feb 22, 1989
Cover of Compositionality, Concurrency, and Partial Correctness

Compositionality, Concurrency, and Partial Correctness (Lecture Notes in Computer Science, #321)