Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

Paul Levy; KY Weldemariam

doi:10.1016/j.entcs.2009.07.098

Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

Paul Levy, KY Weldemariam

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	357-375
Number of pages	19
DOIs	https://doi.org/10.1016/j.entcs.2009.07.098
Publication status	Published - 8 Aug 2009
Event	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, UK, April 2009 - Duration: 8 Aug 2009 → …

Conference

Conference	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, UK, April 2009
Period	8/08/09 → …

Access to Document

10.1016/j.entcs.2009.07.098

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
Semantics of Nondeterminism
Levy, P. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils

Cite this

@conference{104ebaefb24943b596c71b2b3b664ff1,

title = "Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity",

author = "Paul Levy and KY Weldemariam",

year = "2009",

month = aug,

day = "8",

doi = "10.1016/j.entcs.2009.07.098",

language = "English",

pages = "357--375",

note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, UK, April 2009 ; Conference date: 08-08-2009",

}

TY - CONF

T1 - Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

AU - Levy, Paul

AU - Weldemariam, KY

PY - 2009/8/8

Y1 - 2009/8/8

U2 - 10.1016/j.entcs.2009.07.098

DO - 10.1016/j.entcs.2009.07.098

M3 - Paper

SP - 357

EP - 375

T2 - Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), Oxford, UK, April 2009

Y2 - 8 August 2009

ER -

Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

Conference

Access to Document

Projects

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

Semantics of Nondeterminism

Cite this