Browse by Course code: comp2212

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 4.
  1. [img] [img]
    COMP2212 - Semantics of Concurrency - Exercise Sheet
    Semantics of Concurrency - Exercise Sheet

    Shared with the University by
    Dr Jian Shi
  2. [img]
    COMP2212 - Semantics of Concurrency 1/3 - LTS
    Semantics of Concurrency 1/3 - Introduction to Labelled Transition System

    Shared with the University by
    Dr Jian Shi
  3. [img]
    COMP2212 - Semantics of Concurrency 3/3 - Bisimulation
    Semantics of Concurrency 3/3 - Bisimulation

    Shared with the University by
    Dr Jian Shi
  4. [img]
    COMP2212 - Semantics of Concurrency 2/3 - Simulation
    Semantics of Concurrency 2/3 - Simulation

    Shared with the University by
    Dr Jian Shi
This list was generated on Thu Nov 21 11:02:38 2024 UTC.