Global State Considered Helpful, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)

Paul Levy

Computer Science

Research output: Contribution to conference (unpublished) › Paper

7 Citations (Scopus)

Original language	English
Pages	241-259
Number of pages	19
DOIs	https://doi.org/10.1016/j.entcs.2008.10.015
Publication status	Published - 22 Oct 2008

Access to Document

10.1016/j.entcs.2008.10.015

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, P. (Principal Investigator)
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils

Cite this