COMP2212 - Semantics of Concurrency 1/3 - LTS

LoadingLoading previews...
Labelled transition systems.pdf
Text
Download (582kB)
    Labelled transition systems.pdf
    Labelled transition systems.pdf
    1 file in this resource

    COMP2212 - Semantics of Concurrency 1/3 - LTS

    Semantics of Concurrency 1/3 - Introduction to Labelled Transition System

    View Item

    Toolbox

    There are no actions available for this resource.