From Applicative to Environmental Bisimulation

Research output: Contribution to conference (unpublished) › Paper

20 Citations (Scopus)

Original language	English
Pages	215-235
Number of pages	21
DOIs	https://doi.org/10.1016/j.entcs.2011.09.023
Publication status	Published - 1 Sept 2011
Event	Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII) - Duration: 1 Sept 2011 → …

Conference	Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)
Period	1/09/11 → …

Access to Document

@conference{614558708815490ea28e3f62dc4108d6,

title = "From Applicative to Environmental Bisimulation",

author = "V Koutavas and Paul Levy and E Sumii",

year = "2011",

month = sep,

day = "1",

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

language = "English",

pages = "215--235",

note = "Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII) ; Conference date: 01-09-2011",

}