Slides and Notes for A Mathematical Theory of Distributed Games and Strategies, a Part III and MPhil Computer Science course at the University of Cambridge, Feb 2015. A survey article and a related article on the Locker Puzzle.
Notes for Advanced Topics in Concurrency: Concurrent games a Part III and MPhil Computer Science course at the University of Cambridge, Feb 2014. Slides.
Notes for Topics in Concurrency a Part II Computer Science course at the University of Cambridge.
Notes for Denotational Semantics (pdf, ps) a Part II Computer Science course at the University of Cambridge.
Notes and Exercises for Discrete Mathematics II: Set Theory for Computer Science (pdf ) a Part IA Computer Science course at the University of Cambridge. Copies of transparencies for DMII: Lectures 1, Lectures 2, Lectures 3, Lectures 4, Lectures 5, Lectures 6.
Notes and Exercises for
Set Theory for Computer Science
(pdf ) an MPhil course in Advanced Computer Science at the
University of Cambridge. (The notes overlap but extend those of the Part 1A course)
`Lecture Notes on Category theory' jointly with Mario Caccamo inspired by Martin Hyland's Part III Mathematics course at the University of Cambridge.
Mini-courses in theory, Former mini-courses.
Material for Fields Institute Summer School, June 2003.
Domain Theory for Concurrency---New Categorical Foundations. EPSRC grant (1/7/05 - 31/12/08).
Royal Society Leverhulme Trust Guest Fellowship 2009-2010. To enable two three months visits of Dr Pierre-Louis Curien. Slides of his graduate course: Mini-course on Proof Theory, June 2010.
Royal Society Leverhulme Trust Senior Research Fellowship. Awarded to GW, 1/10/2010-30/9/2011 (concluded 30/4/2011).
Events, Causality and Symmetry---the next generation semantics. Extended Synopsis. Advanced grant from the European Research Council. Awarded to GW, 1/05/2011-30/4/2016.
Events in Computation, 1980
Event Structure Semantics for CCS and Related Languages.
DAIMI Research Report, University of Aarhus, 67 pp., April 1983. Full version of ICALP'82 article. pdf, ps. NEW PDF VERSION prepared by Alex Katovsky.
Advances in Petri Nets 1986. Springer Lecture Notes in Computer Science 255, 1987.
Compositional Checking of Satisfaction. With Henrik Reif Andersen.
Formal Methods in System Design, Kluwer Academic Publishers, 1992.
A Compositional Proof System for the Modal mu-Calculus. With Henrik Reif Andersen and Colin Stirling.
Journal version of LICS'94 paper.
The parallel intensionally fully abstract games model of PCF. With Simon Castellan and Pierre Clairambault.
LICS 2015. pdf.
Distributed Games and Strategies.
Submitted to the Festschrift for Pierre-Louis Curien 2014. pdf.
Strategies as concurrent processes. With Simon Castellan, Jon Hayman and Marc Lasson.
MFPS 2014. pdf.
Distributed probabilistic and quantum strategies.
MFPS 2013. (Revised to fill a gap in the proof of Lemma 4.5.) pdf.
Borel determinacy of concurrent games. With Julian Gutierrez.
CONCUR 2013. pdf.
Probabilistic and quantum event structures.
In the festschrift for Prakash Panangaden 2014, Springer LNCS. pdf.
Symmetry in concurrent games. With Simon Castellan and Pierre Clairambault.
LICS 2014. pdf.
On concurrent games with pay-off. With Pierre Clairambault.
MFPS 2013. pdf.
Strategies as profunctors.
FOSSACS 2013. pdf.
Imperfect information in logic and concurrent games. With Pierre Clairambault and Julian Gutierrez.
Festschrift for Samson Abramsky, Springer LNCS 7860. pdf.
The winning ways of concurrent games. With Pierre Clairambault and Julian Gutierrez.
LICS 2012. pdf.
Graphs, rewriting and causality in rule-based models. With Vincent Danos, Jerome Feret, Walter Fontana, Russ Harmer, Jonathan Hayman, Jean Krivine and Chris Thompson-Walsh.
In Proc. FSTCCS 2012. pdf.
Winning, losing and drawing in concurrent games with perfect or imperfect information.
In Proc DK2012, Springer LNCS 7230, dedicated to Dexter Kozen on his 60th birthday, 2012. pdf.
Containment in rule-based models. With Chris Thompson-Walsh and Jonathan Hayman.
In Proc. SASB 2011, ENTCS. pdf.
Constraining rule-based dynamics with types. With Vincent Danos and Russ Harmer.
To appear in MSCS. pdf.
Deterministic Concurrent Strategies.
An earlier version of a paper which appears in Formal Asp. Comput. 24(4-6) (2012). pdf.
Concurrent Strategies. With Silvain Rideau.
LICS 2011. Corrected version. pdf.
On the expressivity of symmetry in event structures. With Sam Staton.
LICS 2010. pdf.
A paper for the Mogens Nielsen Festschrift, September 2009. In Theoretical Computer Science, 2009. pdf.
Nominal Domain Theory for Concurrency. With David Turner.
CSL 2009. pdf.
Events, Causality and Symmetry.
An earlier version appeared in the BCS conference `Visions in Computer Science.' September 2008. The final version appears in a special issue of The Computer Journal 2009; doi: 10.1093/comjnl/bxp052 . pdf.
Symmetry in Petri nets. With
Perspectives in Concurrency Theory, K. Lodaya, M. Mukund and R. Ramanujam (eds) Universities Press, 2008. pdf.
The cartesian closed bicategory of generalised species of structures.With M. Fiore, N. Gambino and M. Hyland.
Journal of the London Mathematical Society, 77 2, 203-220. pdf.
Symmetry and concurrency.
Invited talk for CALCO'07, May 2007. pdf.
Summarises 'Event structures with symmetry' below.
Event structures with symmetry.
For Gordon Plotkin Festschrift, ENTCS 172, February 2007. pdf.
(Errors especially in the 'Applications' section 'Event types' of ENTCS 172 are corrected.)
Event structure spans for non-deterministic dataflow. With
EXPRESS'06, 2006. pdf.
Independence and concurrent separation logic. With
LICS'06, 2006. pdf.
Relations in concurrency.
Invited talk, LICS'05, 2005 (Revised). pdf.
Name generation and linearity.
LICS'05 (plus appendix), 2005. pdf. Unfortunately this paper contains an error. We are working on its correction. See 'Nominal Domain Theory for Concurrency' above.
Distributing probability over nondeterminism. With Daniele Varacca.
MSCS, 2006. pdf.
Limit preservation from naturality. With Mario Caccamo.
CTCS'04, 2004. pdf.
new-HOPLA: a higher-order process language with name generation. With Francesco Zappa Nardelli.
Accepted for TCS@2004, Third IFIP International Conference on Theoretical Computer Science, 2004. pdf.
Profunctors, Open Maps and Bisimulation. With Gian Luca Cattani.
MSCS, 2005. ps.
Relational Model of Nondeterministic Dataflow. With Thomas Hildebrandt and
MSCS, 2005. pdf.
HOPLA---A Higher-Order Process Language. With Mikkel Nygaard.
Linearity in Process Languages. With Mikkel Nygaard.
Events in Security Protocols. With Federico Crazzolara.
In proc. the 8th ACM Conference on Computer and Communication Security, Philadelphia, November, 2001.
pdf. In BRICS reports series RS-01-13 . Awarded the British Computer Society Brendan Murphy Memorial Prize 2002.
A Higher-Order Calculus for Categories.
With Mario Caccamo.
In Boulton and Jackson, editors, Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Proceedings, LNCS 2152, 2001, pages 136-153. Extended version in BRICS reports series RS-01-27