Abstraction and empty process in process algebra

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

    Research output: Contribution to journalArticlePopular

    32 Downloads (Pure)

    Abstract

    Formulates a system ACPc, which is a conservative extension of the systems ACP/sub eta /, ACP square root , but also of ACP/sub tau /. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: one can abstract to the hidden step eta , and then from eta to Milner's silent step tau
    Original languageEnglish
    Pages (from-to)221-242
    JournalFundamenta Informaticae
    Volume12
    Issue number2
    Publication statusPublished - 1989

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

    Cite this