1041 search results - page 27 / 209 » Object Oriented Parallel Programming |
144
click to vote
ATAL
2000
Springer
15 years 8 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
15 years 9 months ago
2003
Springer
128
click to vote
PPDP
2005
Springer
15 years 10 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...
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 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...