A Semantic Theory for Global Computing Systems

  title={A Semantic Theory for Global Computing Systems},
  author={Daniele Gorla and Rosario Pugliese},
We introduce cKlaim, a process calculus that can be thought of as a variant of the π-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… CONTINUE READING