From Applicative to Environmental Bisimulation
File Type:
PDFItem Type:
Conference PaperDate:
2011Author:
Access:
OpenAccessCitation:
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii, From Applicative to Environmental Bisimulation, Electronic Notes in Theoretical Computer Science, Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), Pittsburg, PA, USA, 2011, Michael Mislove, Jo?l Ouaknine, 276, Elsevier, 2011, 215 - 235Download Item:
Sponsor
Grant Number
Science Foundation Ireland (SFI)
SFI 06 IN.1 1898
Engineering and Physical Sciences Research Council (EPSRC)
Advanced Research Fellowship EP/E056091/
Author's Homepage:
http://people.tcd.ie/vkoutavDescription:
PUBLISHEDPittsburg, PA, USA
Author: KOUTAVAS, VASILEIOS
Other Titles:
Electronic Notes in Theoretical Computer ScienceTwenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)
Publisher:
ElsevierType of material:
Conference PaperCollections
Series/Report no:
276Availability:
Full text availableKeywords:
Programming LanguagesDOI:
http://dx.doi.org/10.1016/j.entcs.2011.09.023Metadata
Show full item recordLicences: