Stephen Brookes

Available identifiers

zbMath Open brookes.stephen-dWikidataQ102196132 ScholiaQ102196132MaRDI QIDQ283740

List of research outcomes

Publication	Date of Publication	Type
Continuous functions and parallel algorithms on concrete data structures	2023-08-16	Paper
Sequential functions on indexed domains and full abstraction for a sub-language of PCF	2023-04-28	Paper
A denotational semantics for SPARC TSO	2022-04-25	Paper
CSP: A Practical Process Algebra	2022-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5376661	2019-05-17	Paper
The essence of Reynolds	2016-08-05	Paper
A Revisionist History of Concurrent Separation Logic	2016-07-15	Paper
Fairness, Resources, and Separation	2016-07-08	Paper
Syntactic Control of Interference and Concurrent Separation Logic	2016-07-08	Paper
On grainless footprint semantics for shared-memory programs	2016-05-13	Paper
Retracing CSP	2015-07-10	Paper
The essence of Reynolds	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	2013-04-26	Paper
A semantics for concurrent separation logic	2007-05-11	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4484505	2003-06-12	Paper
The essence of parallel Algol.	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4261082	1999-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222882	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222750	1998-12-10	Paper
Full abstraction for a shared-variable parallel language	1996-10-01	Paper
Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin	1995-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4288287	1994-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q3138535	1994-10-11	Paper
Using fixed-point semantics to prove retiming lemmas	1993-09-30	Paper
Towards a theory of parallel algorithms on concrete data structures	1992-09-27	Paper
Deadlock analysis in networks of communicating processes	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3793703	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3761675	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680258	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680251	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685165	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3700823	1985-01-01	Paper
A Theory of Communicating Sequential Processes	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702497	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3321470	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664417	1983-01-01	Paper

Research outcomes over time

This page was built for person: Stephen Brookes