Mobile Calculi based on Domains


A semantics theory for global computing systems

D. Gorla and R. Pugliese

Abstract

We introduce cKlaim, a process calculus that can be thought of as a variant of the pi-calculus with process distribution, process mobility and asynchronous communication through distributed repositories. Upon it, we develop a semantic theory to reason about programs. More precisely, we introduce a natural contextually defined behavioural semantics, give a coinductive characterization in terms of a labelled bisimulation and illustrate some significant laws. Then, we smoothly tune the theory to model two more concrete settings obtained by explicitly considering failures and node connections, two low-level features that in real life can affect the underlying network infrastructure and, hence, the ability of processes to perform remote operations.

@Unpublished\{gorla.pugliese:semantics-theory-global-computing,
  author = \{D. Gorla and R. Pugliese},
  title = \{A semantics theory for global computing systems},
  year = \{2004}, 
  url = \{http://mikado.di.fc.ul.pt/repository/gorla.pugliese_semantics-theory-global-computing.pdf}
}


About this site. Last modified: Wed Nov 22 08:34:40 CET 2017