115 search results - page 11 / 23 » The Attributed Pi Calculus |
CTCS
1997
Springer
15 years 2 months ago
1997
Springer
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
ICALP
2009
Springer
15 years 1 months ago
2009
Springer
CAV
1994
Springer
15 years 1 months ago
1994
Springer
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...