255 search results - page 1 / 51 » A Virtual Machine for a Process Calculus |
PPDP
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
ENTCS
2002
13 years 5 months ago
2002
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
LICS
2008
IEEE
13 years 12 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...