TACS
2001
Springer
14 years 10 days ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
TACS
2001
Springer
14 years 10 days ago
2001
Springer
Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the co...
TACS
2001
Springer
14 years 10 days ago
2001
Springer
TACS
2001
Springer
14 years 10 days ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
TACS
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
TACS
2001
Springer
14 years 10 days ago
2001
Springer
TACS
2001
Springer
14 years 10 days ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
SEKE
2001
Springer
14 years 11 days ago
2001
Springer
The Experience Management System (EMS) is aimed at supporting the capture and reuse of software-related experience, based on the Experience Factory concept. It is being developed ...