Slawek: Created page with "
== Do not edit this section ==
{{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay ..."

2014-06-26T03:43:23Z

Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay ..."

New page

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay
|PID=583411
|Name=Cimini, Matteo (Department of Computer Science, Reykjavik University, Reykjavik, Iceland);Mousavi, Mohammad Reza [mohmou] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]) (Department of Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands);Reniers, Michel A. (Department of Mechanical Engineering, Technische Universiteit Eindhoven, Eindhoven, The Netherlands);Gabbay, Murdoch J. (Computer Science Department, Heriot-Watt University, Edinburgh, United Kingdom)
|Title=Nominal SOS
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII)
|Conference=The 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012), Bath, United Kingdom, 6-9 June
|StartPage=103
|EndPage=116
|Year=2012
|Edition=
|Pages=
|City=Amsterdam
|Publisher=Elsevier
|Series=Electronic Notes in Theoretical Computer Science ; 286
|SeriesISSN=1571-0661
|ISBN=
|Urls=http://www.win.tue.nl/~mousavi/mfps2012.pdf
|ISRN=
|DOI=http://dx.doi.org/10.1016/j.entcs.2012.08.008
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20325
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Data- och informationsvetenskap (102)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Plotkin’s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS. The framework is based on the Nominal Logic of Gabbay and Pitts and hence is called Nominal SOS. We define nominal bisimilarity, an adaptation of the notion of bisimilarity that is aware of binding. We provide evidence of the expressiveness of the framework by formulating the early <strong>π</strong>-calculus and Abramsky’s lazy <strong>λ</strong>-calculus within Nominal SOS. For both calculi we establish the operational correspondence with the original calculi. Moreover, in the context of the <strong>π</strong>-calculus, we prove that nominal bisimilarity coincides with Sangiorgi’s open bisimilarity and in the context of the <strong>λ</strong>-calculus we prove that nominal bisimilarity coincides with Abramsky’s applicative bisimilarity</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-08
|PublicationDate=2013-01-08
|LastUpdated=2013-11-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583411}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

Publications:Nominal SOS - Revision history

Slawek: Created page with " == Do not edit this section == {{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay ..."

Slawek: Created page with "
== Do not edit this section ==
{{PublicationSetupTemplate|Author=Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay ..."