A resource analysis of the pi-calculus

Details A resource analysis of the pi-calculus A resource analysis of the pi-calculus

2011-05-05

arxiv.org/abs/1105.0966v1

Computer Science

Programming Languages

Preliminary version for MFPS 2011

Scientific paper

We give a new treatment of the pi-calculus based on the semantic theory of separation logic, continuing a research program begun by Hoare and O'Hearn. Using a novel resource model that distinguishes between public and private ownership, we refactor the operational semantics so that sending, receiving, and allocating are commands that influence owned resources. These ideas lead naturally to two denotational models: one for safety and one for liveness. Both models are fully abstract for the corresponding observables, but more importantly both are very simple. The close connections with the model theory of separation logic (in particular, with Brookes's action trace model) give rise to a logic of processes and resources.

Affiliated with

Also associated with

No associations

Rating

A resource analysis of the pi-calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A resource analysis of the pi-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A resource analysis of the pi-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-688961