The Community for Technology Leaders
Logic in Computer Science, Symposium on (2006)
Seattle, Washington
Aug. 12, 2006 to Aug. 15, 2006
ISSN: 1043-6871
ISBN: 0-7695-2631-4
pp: 59-68
Catuscia Palamidessi , INRIA, France
Frank D. Valencia , CNRS, France
Vijay Saraswat , IBM TJ Watson Research Lab, USA
Bjorn Victor , Uppsala University, Sweden
ABSTRACT
We present an expressiveness study of linearity and persistence of processes. We choose the ?-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We consider four fragments of the ?-calculus. Each one singles out a natural source of linearity/ persistence also present in other frameworks such as Concurrent Constraint Programming (CCP), Linear CCP, and several calculi for security. The study is presented by providing (or proving the non-existence of) encodings among the fragments, a processes-as-formulae interpretation and a reduction from Minsky machines.
INDEX TERMS
null
CITATION
Catuscia Palamidessi, Frank D. Valencia, Vijay Saraswat, Bjorn Victor, "On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus", Logic in Computer Science, Symposium on, vol. 00, no. , pp. 59-68, 2006, doi:10.1109/LICS.2006.39
97 ms
(Ver 3.3 (11022016))