A Topological Approach to Distributed Computing

Luigia Petre*, Kaisa Sere, Marina Walden

*Korresponderande författare för detta arbete

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

2 Nedladdningar (Pure)


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.

FörlagTurku Center for Computer Science (TUCS)
ISBN (tryckt)952-12-0485-0
StatusPublicerad - 1999
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie


NamnTUCS Technical Reports


Fördjupa i forskningsämnen för ”A Topological Approach to Distributed Computing”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här