Search

Home
Events
Projects
Publications
Posts
Research
Teaching
Contact

Sung-Shik Jongmans

Latest

Branching pomsets for choreographies
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

© José Proença 2020

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite