Continuation Semantics for Asynchronous Concurrency

Issue title: Formal Models - Computability, Complexity, Applications

Article type: Research Article

Authors: Ciobanu, Gabriel | Todoran, Eneia Nicolae

Affiliations: Institute of Computer Science, Romanian Academy, Iaşi, Romania. gabriel@info.uaic.ro | Department of Computer Science, Technical University of Cluj-Napoca, Cluj-Napoca, Romania. eneia.todoran@cs.utcluj.ro

Note: [] Address for correspondence: Institute of Computer Science, Romanian Academy, Iaşi, Romania

Abstract: The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.

Keywords: Metric semantics, continuations for concurrency, asynchronous communication

DOI: 10.3233/FI-2014-1020

Journal: Fundamenta Informaticae, vol. 131, no. 3-4, pp. 373-388, 2014