FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
FOSSACS
1998
Springer
14 years 6 days 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
14 years 6 days 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
14 years 6 days ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
FASE
1998
Springer
14 years 6 days ago
1998
Springer
FASE
1998
Springer
14 years 6 days ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
FASE
1998
Springer
14 years 6 days ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
FASE
1998
Springer
14 years 6 days ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...