Projekteja vuodessa
Abstrakti
In several state-based approaches to distributed computing, e.g., action systems, or UNITY, the computing nodes are commonly left unspecified or implicit. For instance, an action system comes with an informal description on how the system is supposed to be mapped into the network. The purpose of this paper is to make this mapping explicit so that, e.g., in the action systems formalism we are provided with means on the language level to reason about the location of a system in a network. Hence, we define the notion of a topological action system that carries with it information of these. We also show how or approach leads to action systems with data and/or code mobility.
Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Turku Center for Computer Science (TUCS) |
ISBN (painettu) | 952-12-0485-0 |
Tila | Julkaistu - 1999 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Julkaisusarja
Nimi | TUCS Technical Reports |
---|---|
Vuosikerta | 289 |
Sormenjälki
Sukella tutkimusaiheisiin 'A Topological Approach to Distributed Computing'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.Projektit
- 1 Päättynyt
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M. (CoI), Sere, K. (Vastuullinen tutkija), Troubitsyna, E. (CoI), Petre, L. (CoI), Jansson, M. (CoI) & Qvist, M. (CoI)
01/01/99 → 31/12/01
Projekti: Research Council of Finland/Other Research Councils