Continuation-Based Metric Semantics for Concurrency

By using the mathematical methodology of metric semantics and continuation semantics for concurrency (CSC) we design semantic models for a concurrent language extended with multiparty synchronization based on Hoare's CSP. We present a new kind of domain for CSC, where the structure of continuations is expressed by using functions which map computations to computations. We study the abstractness of CSC, by using a new optimality criterion specific to continuation semantics, that we call k weak abstractness - a weaker version of Milner's full abstractness criterion.