Research outputs (12)

1. Published

   Multparty Classical Choreographies

   Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

2. Published

   Multiparty session types as coherence proofs

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

3. Published

   Choreographic Programming

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

View all (12) »