Sciweavers

5 search results - page 1 / 1
» fossacs 1998
Sort
View
FOSSACS
1998
Springer
13 years 7 months ago
A Cook's Tour of Equational Axiomatizations for Prefix Iteration
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
FOSSACS
1998
Springer
13 years 7 months ago
Mobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
Luca Cardelli, Andrew D. Gordon
FOSSACS
2006
Springer
13 years 7 months ago
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
Petr Jancar, Jirí Srba
FOSSACS
1998
Springer
13 years 7 months ago
Generalizing Domain Theory
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...
Michael W. Mislove
FOSSACS
1998
Springer
13 years 7 months ago
Functor Categories and Two-Level Languages
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...
Eugenio Moggi