1041 search results - page 27 / 209 » Object Oriented Parallel Programming |
IFIP
1998
Springer
14 years 28 days ago
1998
Springer
In this paper we describe ICE, an object
ATAL
2000
Springer
14 years 1 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...