Project Details
| Short title | Semantics of Nondeterminism |
|---|---|
| Status | Finished |
| Effective start/end date | 1/12/05 → 31/08/08 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
Levy, P. & Weldemariam, K., 8 Aug 2009, p. 357-375. 19 p.Research output: Contribution to conference (unpublished) › Paper
-
Infinite Trace Equivalence
Levy, P., 1 Feb 2008, In: Annals of Pure and Applied Logic. 151, 2-3, p. 170-198 29 p.Research output: Contribution to journal › Article
8 Citations (Scopus) -
Combining algebraic effects with continuations. Festschrift for John Reynolds' 70th birthday
Hyland, J., Levy, P., Plotkin, G. & Power, A., 1 May 2007, In: Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.Research output: Contribution to journal › Article
30 Citations (Scopus)