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
Vijay Saraswat , IBM TJ Watson Research Lab, USA
Frank D. Valencia , CNRS, France
Bjorn Victor , Uppsala University, Sweden
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.

C. Palamidessi, F. D. Valencia, V. Saraswat and B. Victor, "On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus," 21st Annual IEEE Symposium on Logic in Computer Science(LICS), Seattle, WA, 2006, pp. 59-68.
906 ms
(Ver 3.3 (11022016))