Causality and replication in concurrent processes

Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado (2003) Causality and replication in concurrent processes. UNSPECIFIED. (Submitted)

Download (782Kb) | Preview


    The replication operator was introduced by Milner for obtaining a simplified description of recursive processes. The standard interleaving semantics denotes the replication of a process P, written !P, a shorthand for its unbound parallel composition, operationally equivalent to the process P | P | …, with P repeated as many times as needed. Albeit the replication mechanism has become increasingly popular, investigations on its causal semantics has been scarce. In fact, the correspondence between replication and unbound parallelism makes it difficult to recover basic properties usually associated with these semantics, such as the so-called concurrency diamond. In this paper we consider the interleaving semantics for the operator proposed by Sangiorgi and Walker, and we show how to refine it in order to capture causality. Furthermore, we prove it coincident with the standard causal semantics for recursive process studied in the literature, for processes defined by means of constant invocations.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Uncontrolled Keywords: Causal Semantics, process calculi, replication operator
    Additional Information: To appear in the Proc. of Andrei Ershov Fifth International Conference "Perspectives of System Informatics"
    Report Number: DIT-03-021
    Repository staff approval on: 13 May 2003

    Actions (login required)

    View Item