788 search results - page 1 / 158 » A Calculus for "Environment-Aware" Computation |
231
click to vote
Tutorial
This is a self-contained paper which introduces a fundamental problem
in the calculus of variations, the problem of nding extreme values
of functionals. The reader should have a...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
IFIPTCS
2000
13 years 8 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
CIS
2004
Springer
13 years 10 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...