| Publication | Date of Publication | Type |
|---|
Continuous functions and parallel algorithms on concrete data structures
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Sequential functions on indexed domains and full abstraction for a sub-language of PCF
Lecture Notes in Computer Science | 2023-04-28 | Paper |
A denotational semantics for SPARC TSO
| 2022-04-25 | Paper |
CSP: A Practical Process Algebra
Theories of Programming | 2022-02-14 | Paper |
A denotational semantics for SPARC TSO
| 2019-05-17 | Paper |
The essence of Reynolds
Formal Aspects of Computing | 2016-08-05 | Paper |
A revisionist history of concurrent separation logic
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Fairness, resources, and separation
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Syntactic control of interference and concurrent separation logic
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
On grainless footprint semantics for shared-memory programs
| 2016-05-13 | Paper |
Retracing CSP
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
The essence of Reynolds
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Variables as resource for shared-memory programs: semantics and soundness
| 2013-10-10 | Paper |
A grainless semantics for parallel programs with shared mutable data
| 2013-10-08 | Paper |
Transfer Principles for Reasoning About Concurrent Programs
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
A semantics for concurrent separation logic
Theoretical Computer Science | 2007-05-11 | Paper |
Communicating Sequential Processes. The First 25 Years
Lecture Notes in Computer Science | 2005-11-29 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
scientific article; zbMATH DE number 1927580 (Why is no real title available?)
| 2003-06-12 | Paper |
The essence of parallel Algol.
Information and Computation | 2002-01-01 | Paper |
scientific article; zbMATH DE number 1330439 (Why is no real title available?)
| 1999-09-20 | Paper |
scientific article; zbMATH DE number 1231564 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1231450 (Why is no real title available?)
| 1998-12-10 | Paper |
Full abstraction for a shared-variable parallel language
Information and Computation | 1996-10-01 | Paper |
Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
Theoretical Computer Science | 1995-03-20 | Paper |
scientific article; zbMATH DE number 554485 (Why is no real title available?)
| 1994-12-15 | Paper |
scientific article; zbMATH DE number 431759 (Why is no real title available?)
| 1994-10-11 | Paper |
Using fixed-point semantics to prove retiming lemmas
Formal Methods in System Design | 1993-09-30 | Paper |
Towards a theory of parallel algorithms on concrete data structures
Theoretical Computer Science | 1992-09-27 | Paper |
Deadlock analysis in networks of communicating processes
Distributed Computing | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4058826 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4011906 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3902016 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3902009 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3907747 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3926230 (Why is no real title available?)
| 1985-01-01 | Paper |
A Theory of Communicating Sequential Processes
Journal of the ACM | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3928330 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3852428 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3817027 (Why is no real title available?)
| 1983-01-01 | Paper |
