FOSSACS
1998
Springer
13 years 8 months ago
1998
Springer
FOSSACS
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
FOSSACS
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
FOSSACS
1998
Springer
13 years 8 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.