Merge and termination in process algebra

J.C.M. Baeten, R.J. Glabbeek, van

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

    27 Citations (Scopus)
    83 Downloads (Pure)

    Abstract

    In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of Bergstra and Klop (1984, 1986). Reconsidering the definition of the parallel composition operator merge, the authors found that is preferable to explicitly state the termination option. This gives an extra summand in the defining equation of merge, using the auxiliary operator square root (tick). They find that tick can be defined in terms of the encapsulation operator delta /sub H/ and give an operational and a denotational semantics for the resulting system ACP square root , and prove that they are equal. The authors consider the limit rule, and prove it holds in the models
    Original languageEnglish
    Title of host publicationFST&TCS 7: Foundations of Software Technology and Theoretical Computer Science. Seventh Conference, Pune India, December 17-19, 1987 : Proceedings / Ed. Kesa V. Nori
    Place of PublicationBerlin
    PublisherSpringer
    Pages153-172
    ISBN (Print)3-540-18625-5
    Publication statusPublished - 1987

    Publication series

    NameLecture notes in computer science
    Volume287
    ISSN (Print)0302-9743

    Fingerprint Dive into the research topics of 'Merge and termination in process algebra'. Together they form a unique fingerprint.

    Cite this