Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

Sung-Shik Jongmans, Nobuko Yoshida

Research output: Book/ReportTechnical reportAcademic

6 Downloads (Pure)
Original languageEnglish
PublisherOpen Universiteit Nederland
Number of pages189
Publication statusPublished - 2020

Publication series

SeriesTechnical Report - Computer Science & Information Science (TR-OU-INF)
Number01
Volume2020

Cite this