On the relative expressiveness of higher-order session processes

Dimitrios Kouzapas^*, Jorge A. Perez, Nobuko Yoshida

^*Corresponding author for this work

Fundamental Computing

Research output: Contribution to journal › Article › Academic › peer-review

7 Citations (Scopus)

26 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Session Types and Higher-Order Concurrency
Jorge Perez Parra (Invited speaker)
24-Feb-2021
Activity: Talk and presentation › Academic presentation › Academic