A Semantic Theory for Global Computing Systems

@inproceedings{Gorla2003AST,
  title={A Semantic Theory for Global Computing Systems},
  author={Daniele Gorla and Rosario Pugliese},
  year={2003}
}
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