A Finite Equational Base for CCS with Left Merge and Communication Merge

Authors
Publication date
12 March 2006
Publisher
'Aarhus University Library'

Abstract

Using the left merge and communication merge from ACP, we present an equational base for the fragment of CCS without restriction and relabelling. Our equational base is finite if the set of actions is finite

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Tidsskrift.dk (Det Kongelige Bibliotek)

    redirect
    oaioai:ojs.tidsskrift.dk:article/...
    Last time updated on 29/10/2019