110 search results - page 1 / 22 » Type Inference for a Distributed pi-Calculus |
ESOP
2003
Springer
14 years 4 months ago
2003
Springer
CONCUR
2010
Springer
14 years 17 hour ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
CONCUR
2008
Springer
14 years 21 days ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
APLAS
2006
ACM
14 years 4 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 ...
PPDP
2001
Springer
14 years 3 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...