Abstract
dc:descriptionThis thesis provides a fully-abstract (set theoretical) model for the finite pi-calculus with respect to late-bisimulation and late-equivalence relations. This is achieved by amalgamating the works by M. P. Fiore, E. Moggi and D. Sangiorgi, and I. Stark. In their respective works the authors construct categorical models, and define a meta-language in which the finite pi-calculus can be interpreted. We discuss the general properties a categorical model should satisfy to be considered an appropriate model for the finite pi-calculus. In particular, I show that the categorical model based on the syntax provides a fully abstract model for the finite pi-calculus. Finally, I include all the details of the model which were often omitted by the above authors. We extend the discussion by examining alternative categorical constructs for the model of the finite pi-calculus, for example we use doubly closed categories which are a main focus of Bunched Logic by P. W. O'Hearn and D. J. Pym.
Degree
thesis:*- Grantor dc:publisher
- University of Ottawa (Canada)
- Year dc:date
- 2009
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Beaulieu, Guy.
- Contributors dc:contributor
-
- Scott, Philip,
Subjects
dc:subject × 1Identifiers
dc:identifier.*- Identifier
-
Source: Masters Abstracts International, Volume: 40-05, page: 1246.
9780612660052
http://dx.doi.org/10.20381/ruor-14743 - OAI identifier oai:identifier
- oai:ruor.uottawa.ca:10393/6206