162 search results - page 1 / 33 » Coordination Models Based on a Formal Model of Distributed O... |
ENTCS
2006
13 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
ECOOPW
1998
Springer
13 years 8 months ago
1998
Springer
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
COORDINATION
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
FMCO
2007
Springer
13 years 8 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...