115 search results - page 11 / 23 » The Attributed Pi Calculus |
138
Voted
CTCS
1997
Springer
15 years 7 months ago
1997
Springer
112
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
108
Voted
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
103
Voted
CAV
1994
Springer
15 years 7 months ago
1994
Springer
138
Voted
CONCUR
2008
Springer
15 years 5 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...