Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

Paul Levy, KY Weldemariam

Computer Science

Research output: Contribution to conference (unpublished) › Paper

2 results

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