Skip to main content
Article thumbnail
Location of Repository

Pi-Calculus in Logical Form

By Marcello M. Bonsangue and Alexander Kurz

Abstract

Abramsky's logical formulation of domain theory is extended to encompass the domain theoretic model for pi-calculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a modal calculus with primitives for input, free output and bound output

Year: 2007
DOI identifier: 10.1109/LICS.2007.36
OAI identifier: oai:lra.le.ac.uk:2381/3449
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2381/344... (external link)
  • http://ieeexplore.ieee.org/xpl... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.