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

Thomas Gehrke, Arend Rensink

    Research output: Book/ReportReportOther research output

    2 Citations (Scopus)
    58 Downloads (Pure)

    Abstract

    This paper presents a first attempt to formulate 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. Although many aspects necessary to model the combination of process creation, sequential composition and name-passing are taken into account, the setup described in this paper is not yet satisfactory, in that it does not give rise to a useful abstract behavioural equivalence. In particular, the natural notion of bisimulation in our calculus gives rise to a relation that is not a congruence.
    Original languageUndefined
    Place of PublicationHildesheim
    PublisherInstitut für Informatik, University of Hildesheim
    Number of pages27
    Publication statusPublished - May 1997

    Publication series

    Name
    PublisherInstitut für Informatik, University of Hildesheim
    No.97/7
    ISSN (Print)0941-3014

    Keywords

    • IR-66669
    • EWI-8310

    Cite this

    Gehrke, T., & Rensink, A. (1997). Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheim: Institut für Informatik, University of Hildesheim.
    Gehrke, Thomas ; Rensink, Arend. / Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheim : Institut für Informatik, University of Hildesheim, 1997. 27 p.
    @book{a0b2568cd4b64c9d9f79ee137aa338bc,
    title = "Process Creation and Full Sequential Composition in a Name-Passing Calculus",
    abstract = "This paper presents a first attempt to formulate 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. Although many aspects necessary to model the combination of process creation, sequential composition and name-passing are taken into account, the setup described in this paper is not yet satisfactory, in that it does not give rise to a useful abstract behavioural equivalence. In particular, the natural notion of bisimulation in our calculus gives rise to a relation that is not a congruence.",
    keywords = "IR-66669, EWI-8310",
    author = "Thomas Gehrke and Arend Rensink",
    year = "1997",
    month = "5",
    language = "Undefined",
    publisher = "Institut f{\"u}r Informatik, University of Hildesheim",
    number = "97/7",

    }

    Gehrke, T & Rensink, A 1997, Process Creation and Full Sequential Composition in a Name-Passing Calculus. Institut für Informatik, University of Hildesheim, Hildesheim.

    Process Creation and Full Sequential Composition in a Name-Passing Calculus. / Gehrke, Thomas; Rensink, Arend.

    Hildesheim : Institut für Informatik, University of Hildesheim, 1997. 27 p.

    Research output: Book/ReportReportOther research output

    TY - BOOK

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

    AU - Gehrke, Thomas

    AU - Rensink, Arend

    PY - 1997/5

    Y1 - 1997/5

    N2 - This paper presents a first attempt to formulate 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. Although many aspects necessary to model the combination of process creation, sequential composition and name-passing are taken into account, the setup described in this paper is not yet satisfactory, in that it does not give rise to a useful abstract behavioural equivalence. In particular, the natural notion of bisimulation in our calculus gives rise to a relation that is not a congruence.

    AB - This paper presents a first attempt to formulate 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. Although many aspects necessary to model the combination of process creation, sequential composition and name-passing are taken into account, the setup described in this paper is not yet satisfactory, in that it does not give rise to a useful abstract behavioural equivalence. In particular, the natural notion of bisimulation in our calculus gives rise to a relation that is not a congruence.

    KW - IR-66669

    KW - EWI-8310

    M3 - Report

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

    PB - Institut für Informatik, University of Hildesheim

    CY - Hildesheim

    ER -

    Gehrke T, Rensink A. Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheim: Institut für Informatik, University of Hildesheim, 1997. 27 p.