From Applicative to Environmental Bisimulation

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages215-235
Number of pages21
Publication statusPublished - 1 Sep 2011
EventTwenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII) -
Duration: 1 Sep 2011 → …

Conference

ConferenceTwenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)
Period1/09/11 → …