Browse by Tags: concurrency

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 5.
  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 2/3 - Simulation
    Semantics of Concurrency 2/3 - Simulation

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

    Shared with the University by
    Dr Jian Shi
  5. [img]
    IRP Poster - Side-effects in Software Transactional Memory
    Poster for IRP project 'Side-effects in Software Transactional Memory: Extending Deuce with TwilightSTM'

    Shared with the University by
    Mr Stephen Tuttlebee
This list was generated on Thu Dec 2 15:50:17 2021 UTC.