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
https://portal.mardi4nfdi.de/entity/Q2851320	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2852353	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/Q3680251	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680258	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685165	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3700823	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702497	1984-01-01	Paper
A Theory of Communicating Sequential Processes	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stephen Brookes