Job Zwiers

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional transformational design for concurrent programs	2025-03-19	Paper
The compositional approach to sequential consistency and lazy caching	2020-12-03	Paper
From sequential layers to distributed processes Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92	2017-08-21	Paper
Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems Lecture Notes in Computer Science	2017-01-19	Paper
scientific article; zbMATH DE number 5898709 (Why is no real title available?)	2011-05-20	Paper
Concurrency verification. Introduction to compositional and noncompositional methods Cambridge Tracts in Theoretical Computer Science	2002-02-03	Paper
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship Lecture Notes in Computer Science	1993-01-23	Paper
scientific article; zbMATH DE number 3903940 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3890715 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Job Zwiers