On the relative expressiveness of higher-order session processes

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

^*Bijbehorende auteur voor dit werk

Fundamentele Informatica

Onderzoeksoutput › Academic › peer review

8 Citaten (Scopus)

29 Downloads (Pure)

1 resultaten
- Titel
- Begindatum(oplopend)

Session Types and Higher-Order Concurrency
Jorge Perez Parra (Invited speaker)
24-feb.-2021
Activiteit: Academic presentation › Academic