1810 search results - page 8 / 362 » Type Systems for Distributed Data Structures |
JFP
2010
13 years 6 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
TLDI
2010
ACM
14 years 4 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
TACS
2001
Springer
13 years 12 months 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...
SCM
2003
13 years 8 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...