Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

Research output: Book/Report › Technical report › Academic

41 Downloads (Pure)

Original language	English
Publisher	Open Universiteit Nederland
Number of pages	189
Publication status	Published - 2020

Series	Technical Report - Computer Science & Information Science (TR-OU-INF)
Number	01
Volume	2020

Access to Document

@book{aff6eff06cc54f00b2462af4efb86fae,

title = "Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types",

author = "Sung-Shik Jongmans and Nobuko Yoshida",

year = "2020",

language = "English",

series = "Technical Report - Computer Science & Information Science (TR-OU-INF)",

publisher = "Open Universiteit Nederland",

number = "01",

}

TY - BOOK

T1 - Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

AU - Jongmans, Sung-Shik

AU - Yoshida, Nobuko

PY - 2020

Y1 - 2020

M3 - Technical report

T3 - Technical Report - Computer Science & Information Science (TR-OU-INF)

BT - Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

PB - Open Universiteit Nederland

ER -