Session Types and Higher-Order Concurrency

Activiteit: Academic presentation › Academic

Periode	24-feb.-2021
Evenementstitel	Online Worldwide Seminar on Logic and Semantics (OWLS)
Evenementstype	Seminar

Documenten & links

Onderzoeksoutput
Minimal Session Types
Onderzoeksoutput › Academic › peer review
On the relative expressiveness of higher-order session processes
Onderzoeksoutput › Academic › peer review