Relationally Staged Computations in Calculi of Mobile Processes
2004 (English)In: Proc. 7th Workshop on Coalgebraic Methods in Computer Science / [ed] J. Adámek, S. Milius, Elsevier , 2004, 105-120 p.Conference paper (Refereed)
We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract semantics for the π-calculus equipped with open bisimulation. The key novelty in our work is the realisation that the sophistication of open bisimulation requires us to move from the usual semantic domain of presheaves over subcategories of Set to presheaves over subcategories of Rel. This extra structure is crucial in controlling the renaming of extruded names and in providing a variety of different dynamic allocation operators to model the different binders of the π-calculus.
Place, publisher, year, edition, pages
Elsevier , 2004. 105-120 p.
, Electronic Notes in Theoretical Computer Science, ISSN 1571-0661 ; 106
IdentifiersURN: urn:nbn:se:uu:diva-93874DOI: 10.1016/j.entcs.2004.02.027OAI: oai:DiVA.org:uu-93874DiVA: diva2:167501
Workshop on Coalgebraic Methods in Computer Science (CMCS), Barcelona, Spain, 27–29 March 2004