7943 search results - page 44 / 1589 » A calculus for costed computations |
WOLLIC
2007
Springer
15 years 4 months ago
2007
Springer
WOLLIC
2007
Springer
15 years 4 months ago
2007
Springer
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
TOPLAS
2010
14 years 8 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...