Stephen D. Brookes

49 papers A* 7B 24Journal 9Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	—	`ch.`	CSP: A Practical Process Algebra. Theories of Programming Stephen D. Brookes, A. W. Roscoe
2012	B	`conf`	Dedication. MFPS Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2006	B	`conf`	Preface. MFPS Stephen D. Brookes, Michael W. Mislove
2006	B	`ed.`	Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006 MFPS Stephen D. Brookes, Michael W. Mislove
2006	B	`conf`	Variables as Resource for Shared-Memory Programs: Semantics and Soundness. MFPS Stephen D. Brookes
2004	B	`conf`	A Semantics for Concurrent Separation Logic. CONCUR Stephen D. Brookes
2004	—	`conf`	Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes Stephen D. Brookes
2003	B	`ed.`	Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003 MFPS Stephen D. Brookes, Prakash Panangaden
2002	J	`jnl`	Dedication. Theor. Comput. Sci. Stephen D. Brookes, Michael W. Mislove
2002	J	`jnl`	Foreword - MFPS 1996. Theor. Comput. Sci. Stephen D. Brookes, Michael W. Mislove
2002	J	`jnl`	The Essence of Parallel Algol. Inf. Comput. Stephen D. Brookes
2002	B	`conf`	Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. CONCUR Stephen D. Brookes
2001	B	`conf`	Preface. MFPS Stephen D. Brookes, Michael W. Mislove
2001	B	`ed.`	Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001 MFPS Stephen D. Brookes, Michael W. Mislove
2001	B	`conf`	Transfer Principles for Reasoning About Concurrent Programs. MFPS Stephen D. Brookes
1999	B	`ed.`	Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1999	B	`conf`	Preface. MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1999	B	`conf`	Reasoning About Recursive Processes: Expansion is not Always Fair. MFPS Stephen D. Brookes
1997	B	`conf`	Foreword. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1997	B	`conf`	Idealized CSP: combining procedures with communicating processes. MFPS Stephen D. Brookes
1997	B	`ed.`	Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997 MFPS Stephen D. Brookes, Michael W. Mislove
1996	J	`jnl`	Full Abstraction for a Shared-Variable Parallel Language. Inf. Comput. Stephen D. Brookes
1996	A*	`conf`	The Essence of Parallel Algol. LICS Stephen D. Brookes
1995	—	`conf`	A Category-Theoretic Treatment of a Parallel Algol-Like Language. Category Theory and Computer Science Stephen D. Brookes
1995	B	`ed.`	Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995 MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	B	`conf`	Foreword and Dedication. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	A*	`conf`	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. POPL Stephen D. Brookes, Denis Dancanet
1994	B	`ed.`	Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1993	A*	`conf`	Full Abstraction for a Shared Variable Parallel Language LICS Stephen D. Brookes
1993	J	`jnl`	Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. Theor. Comput. Sci. Stephen D. Brookes
1993	B	`conf`	Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. MFPS Stephen D. Brookes, Shai Geva
1993	J	`jnl`	Using Fixed-Point Semantics to Prove Retiming Lemmas. Formal Methods Syst. Des. Stephen D. Brookes
1992	B	`ed.`	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1992	J	`jnl`	Towards a Theory of Parallel Algorithms on Concrete Data Structures. Theor. Comput. Sci. Stephen D. Brookes, Shai Geva
1991	B	`conf`	Continuous Functions and Parallel Algorithms on Concrete Data Structures. MFPS Stephen D. Brookes, Shai Geva
1991	J	`jnl`	Deadlock Analysis in Networks of Communicating Processes. Distributed Comput. Stephen D. Brookes, A. W. Roscoe
1987	B	`conf`	Semantically Based Axiomatics. MFPS Stephen D. Brookes
1986	A*	`conf`	A Semantically Based Proof System for Partial Correctness and Deadlock in CSP LICS Stephen D. Brookes
1985	B	`conf`	A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. Mathematical Foundations of Programming Semantics Stephen D. Brookes
1985	—	`conf`	An Axiomatic Treatment of a Parallel Programming Language. Logic of Programs Stephen D. Brookes
1985	—	`ed.`	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 Seminar on Concurrency Stephen D. Brookes, A. W. Roscoe, Glynn Winskel
1984	J	`jnl`	A Theory of Communicating Sequential Processes. J. ACM Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
1984	—	`conf`	An Improved Failures Model for Communicating Processes. Seminar on Concurrency Stephen D. Brookes, A. W. Roscoe
1984	—	`conf`	Deadlock Analysis in Networks of Communicating Processes. Logics and Models of Concurrent Systems Stephen D. Brookes, A. W. Roscoe
1984	—	`conf`	On the Axiomatic Treatment of Concurrency. Seminar on Concurrency Stephen D. Brookes
1983	—	`conf`	A Semantics and Proof System for Communicating Processes. Logic of Programs Stephen D. Brookes
1983	A*	`conf`	Behavioural Equivalence Relations Induced by Programming Logics. ICALP Stephen D. Brookes, William C. Rounds
1983	A*	`conf`	On the Relationship of CCS and CSP. ICALP Stephen D. Brookes
1981	A*	`conf`	Possible Futures, Acceptances, Refusals, and Communicating Processes FOCS William C. Rounds, Stephen D. Brookes