• Towards action-refinement in process algebras.

    Thumbnail Image

    Files

    00039168.pdf (414.76 KB)

    Date

    1989

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    IEEE Computer Society Press.

    Access

    Embargo end date

    Citation

    L. Aceto and M. Hennessy `Towards action-refinement in process algebras? in proceedings of the Fourth Annual Symposium on Logic in Computer Science, Asilomar Conference Center, Pacific Grove California, 5-8 June 1989, IEEE Computer Society Press , 1989, pp 138-145

    Abstract

    A simple process algebra which supports a form of refinement of an action by a process is presented and the question of an appropriate equivalence relation for it is addressed. The main result is that an adequate equivalence can be defined in a very intuitive manner and moreover can be axiomatized in much the same way as the standard behavioral equivalences

    Description

    PUBLISHED

    URI

    http://hdl.handle.net/2262/24959

    Collections

    Administrative Staff Authors (Scholarly Publications)

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Administrative Staff Authors
    Author's Homepage: http://people.tcd.ie/mcbhenne

    Author: HENNESSY, MATTHEW

    Publisher: IEEE Computer Society Press.
    Type of material: Conference Paper