7943 search results - page 44 / 1589 » A calculus for costed computations |
63
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
84
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
77
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
67
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
103
Voted
TOPLAS
2010
14 years 11 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...