Volume 10 : Number 2 : Paper 6
December 2007 Regular Issue and Special Issue of Best Papers presented at CLEI 2006, Santiago, Chile
Title:
A semantics for While in Pi-calculus

Authors and Affiliations:
Patricia Peratto,

Abstract:
This work presents an implementation in pi-calculus of a subset of a C-like language called While.
We codify booleans, integers and the statements of while: assignation, composition, if, skip and while. We study the relationship between precongruences in While and Pi-calculus.


Received Nov/07, Revised Dec/07 , Editor: Mauricio Solar
Full paper, 19 pages [ PDF, 600 Kb ]