Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style
Eneia Nicolae Todoran · 2020
We present a semantic domain for designing concurrent languages in continuation-passing style (CPS). We offer denotational semantics designed in CPS for languages based on Milner's CCS extended with mechanisms which support multiparty interactions. We establish a collection of properties which can describe the behavior of concurrent systems with multiparty interactions. The semantic investigation is accomplished in the mathematical framework of complete metric spaces.