7943 search results - page 45 / 1589 » A calculus for costed computations |
105
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
AAAI
1994
14 years 11 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
GG
2008
Springer
14 years 11 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
DEDS
2008
14 years 10 months ago
2008
Network calculus offers powerful tools to analyze the performances in communication networks, in particular to obtain deterministic bounds. This theory is based on a strong mathema...
CIE
2006
Springer
15 years 1 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika