5 search results - page 1 / 1 » The Kell Calculus: A Family of Higher-Order Distributed Proc... |
GC
2004
Springer
13 years 10 months ago
2004
Springer
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
ENTCS
2008
13 years 5 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
AOSD
2010
ACM
13 years 11 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...