2 research outputs found

    On the existence of sound and complete axiomatizations of the monitor concept

    Get PDF

    A proof system for Brinch Hansen's distributed processes

    No full text
    corecore