A Topological Approach to Distributed Computing

Luigia Petre*, Kaisa Sere, Marina Walden

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

17 Downloads (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.

Original languageEnglish
PublisherTurku Center for Computer Science (TUCS)
ISBN (Print)952-12-0485-0
Publication statusPublished - 1999
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Reports


  • Distributed Computing
  • Location-aware systems
  • Mobility
  • Dynamic binding
  • Action Systems


Dive into the research topics of 'A Topological Approach to Distributed Computing'. Together they form a unique fingerprint.

Cite this