110 search results - page 1 / 22 » Type Inference for a Distributed pi-Calculus |
65
Voted
ESOP
2003
Springer
15 years 2 months ago
2003
Springer
CONCUR
2010
Springer
14 years 10 months 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 11 months 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...
71
Voted
APLAS
2006
ACM
15 years 3 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 ...
85
Voted
PPDP
2001
Springer
15 years 1 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...