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

Research output

Research output per year 2008 2008 2009 2010 2011 2012 2014 2015 2015

• 4 Paper
• 2 Conference contribution
• 2 Article

Research output per year

Research output per year

Search results

• 2011

  From Applicative to Environmental Bisimulation

  Koutavas, V., Levy, P. & Sumii, E., 1 Sept 2011, p. 215-235. 21 p.

  Research output: Contribution to conference (unpublished) › Paper
  20 Citations (Scopus)
• 2010

  Higher-order Containers

  Altenkirch, T., Levy, P., Staton, S., Ferreira, F., Löwe, B., Mayordomo, E. & Gomes, LM., 1 Jun 2010, p. 11-20. 10 p.

  Research output: Contribution to conference (unpublished) › Paper
  3 Citations (Scopus)
• 2009

  Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

  Levy, P. & Weldemariam, KY., 8 Aug 2009, p. 357-375. 19 p.

  Research output: Contribution to conference (unpublished) › Paper
• 2008

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

  Levy, P., 22 Oct 2008, p. 241-259. 19 p.

  Research output: Contribution to conference (unpublished) › Paper
  7 Citations (Scopus)