Stephen Brookes

From MaRDI portal
Person:283740

Available identifiers

zbMath Open brookes.stephen-dWikidataQ102196132 ScholiaQ102196132MaRDI QIDQ283740

List of research outcomes





PublicationDate of PublicationType
Continuous functions and parallel algorithms on concrete data structures2023-08-16Paper
Sequential functions on indexed domains and full abstraction for a sub-language of PCF2023-04-28Paper
A denotational semantics for SPARC TSO2022-04-25Paper
CSP: A Practical Process Algebra2022-02-14Paper
https://portal.mardi4nfdi.de/entity/Q53766612019-05-17Paper
The essence of Reynolds2016-08-05Paper
A Revisionist History of Concurrent Separation Logic2016-07-15Paper
Fairness, Resources, and Separation2016-07-08Paper
Syntactic Control of Interference and Concurrent Separation Logic2016-07-08Paper
On grainless footprint semantics for shared-memory programs2016-05-13Paper
Retracing CSP2015-07-10Paper
The essence of Reynolds2014-04-10Paper
Variables as resource for shared-memory programs: semantics and soundness2013-10-10Paper
A grainless semantics for parallel programs with shared mutable data2013-10-08Paper
Transfer Principles for Reasoning About Concurrent Programs2013-04-26Paper
A semantics for concurrent separation logic2007-05-11Paper
Communicating Sequential Processes. The First 25 Years2005-11-29Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q44845052003-06-12Paper
The essence of parallel Algol.2002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42610821999-09-20Paper
https://portal.mardi4nfdi.de/entity/Q42228821998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42227501998-12-10Paper
Full abstraction for a shared-variable parallel language1996-10-01Paper
Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin1995-03-20Paper
https://portal.mardi4nfdi.de/entity/Q42882871994-12-15Paper
https://portal.mardi4nfdi.de/entity/Q31385351994-10-11Paper
Using fixed-point semantics to prove retiming lemmas1993-09-30Paper
Towards a theory of parallel algorithms on concrete data structures1992-09-27Paper
Deadlock analysis in networks of communicating processes1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37937031988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37616751986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36802581985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36802511985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36851651985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37008231985-01-01Paper
A Theory of Communicating Sequential Processes1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37024971984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33214701983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36644171983-01-01Paper

Research outcomes over time

This page was built for person: Stephen Brookes