dc.contributor.author | KOUTAVAS, VASILEIOS | en |
dc.contributor.editor | Michael Mislove, Jo?l Ouaknine | en |
dc.date.accessioned | 2014-01-23T11:43:13Z | |
dc.date.available | 2014-01-23T11:43:13Z | |
dc.date.created | 2011 | en |
dc.date.issued | 2011 | en |
dc.date.submitted | 2011 | en |
dc.identifier.citation | 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 - 235 | en |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
dc.description | Pittsburg, PA, USA | en |
dc.format.extent | 215 | en |
dc.format.extent | 235 | en |
dc.language.iso | en | en |
dc.publisher | Elsevier | en |
dc.relation.ispartofseries | 276 | en |
dc.rights | Y | en |
dc.subject | Programming Languages | en |
dc.title | From Applicative to Environmental Bisimulation | en |
dc.title.alternative | Electronic Notes in Theoretical Computer Science | en |
dc.title.alternative | Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII) | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/vkoutav | en |
dc.identifier.rssinternalid | 91022 | en |
dc.identifier.doi | http://dx.doi.org/10.1016/j.entcs.2011.09.023 | en |
dc.rights.ecaccessrights | OpenAccess | |
dc.identifier.rssuri | http://www.sciencedirect.com/science/article/pii/S1571066111001149 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | SFI 06 IN.1 1898 | en |
dc.contributor.sponsor | Engineering and Physical Sciences Research Council (EPSRC) | en |
dc.contributor.sponsorGrantNumber | Advanced Research Fellowship EP/E056091/ | en |
dc.identifier.uri | http://hdl.handle.net/2262/67870 | |