Showing 1 - 2 results of 2 for search 'Graversen, E', query time: 2.49s Refine Results
  1. 1
    Event structure semantics of (controlled) reversible CCS

    Event structure semantics of (controlled) reversible CCS by Graversen, E, Phillips, I, Yoshida, N

    Published 2021
    Journal article
  2. 2
    Event structures for the reversible early internal π-calculus

    Event structures for the reversible early internal π-calculus by Graversen, E, Phillips, I, Yoshida, N

    Published 2021
    Journal article

Search Tools: