Fundamental Computing Science

Organisational unit: Research Group

Contact information

Nijenborgh
9
Groningen
9747 AG
Netherlands
  • Phone: +31 50 363 3939

Publications

  1. Causally consistent reversible choreographies: A monitors-as-memories approach

    Research output: Scientific - peer-reviewConference contribution

  2. Session-Based Concurrency, Reactively

    Research output: Scientific - peer-reviewConference contribution

  3. Linearity, Control Effects, and Behavioral Types

    Research output: Scientific - peer-reviewConference contribution

View all (192) »

View graph of relations

ID: 32126