1056 search results - page 5 / 212 » A Probabilistic Applied Pi-Calculus |
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
CMSB
2009
Springer
14 years 2 months ago
2009
Springer
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
BIRTHDAY
2000
Springer
13 years 12 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...