Process Creation and Full Sequential Composition in a Name-Passing Calculus

Thomas Gehrke, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    61 Downloads (Pure)

    Abstract

    This paper presents the underlying theory for a process calculus featuring process creation and sequential composition, instead of the more usual parallel composition and action prefixing, in a setting where mobility is achieved by communicating channel names. We discuss the questions of scope and name binding, raised by the interaction of mobility and sequential composition. Substitution of names is integrated as a syntactic operator in the calculus. We present an axiomatic theory for the calculus and show its soundness and completeness w.r.t. bisimulation equivalence.
    Original languageEnglish
    Title of host publicationEXPRESS'97
    Subtitle of host publication8-12 September 1997 • Santa Margherita Ligure, Italy
    EditorsC. Palamidessi, J. Parrow
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages141-160
    Number of pages20
    DOIs
    Publication statusPublished - 1997
    EventWorkshop on Expressiveness in Concurrency, EXPRESS 1997 - Santa Margherita Ligure, Italy
    Duration: 8 Sep 199712 Sep 1997

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Volume7
    ISSN (Print)1571-0661

    Workshop

    WorkshopWorkshop on Expressiveness in Concurrency, EXPRESS 1997
    Abbreviated titleEXPRESS
    CountryItaly
    CitySanta Margherita Ligure
    Period8/09/9712/09/97

    Fingerprint Dive into the research topics of 'Process Creation and Full Sequential Composition in a Name-Passing Calculus'. Together they form a unique fingerprint.

  • Cite this

    Gehrke, T., & Rensink, A. (1997). Process Creation and Full Sequential Composition in a Name-Passing Calculus. In C. Palamidessi, & J. Parrow (Eds.), EXPRESS'97: 8-12 September 1997 • Santa Margherita Ligure, Italy (pp. 141-160). (Electronic Notes in Theoretical Computer Science; Vol. 7). Amsterdam: Elsevier. https://doi.org/10.1016/S1571-0661(05)80471-2