Merge and termination in process algebra

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    27 Citaten (Scopus)
    83 Downloads (Pure)


    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
    Originele taal-2Engels
    TitelFST&TCS 7: Foundations of Software Technology and Theoretical Computer Science. Seventh Conference, Pune India, December 17-19, 1987 : Proceedings / Ed. Kesa V. Nori
    Plaats van productieBerlin
    ISBN van geprinte versie3-540-18625-5
    StatusGepubliceerd - 1987

    Publicatie series

    NaamLecture notes in computer science
    ISSN van geprinte versie0302-9743

    Vingerafdruk Duik in de onderzoeksthema's van 'Merge and termination in process algebra'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit