Observational Equivalence for Multiparty Sessions
Paula G. Severi, Mariangiola Dezani-Ciancaglini · Fundamenta Informaticae · 2019
Multiparty sessions are concurrent processes, which allow several participants to communicate by sending and receiving messages. We consider an observational preorder of processes, that captures the idea that the whole session remains correct after replacing one process by another one. This preorde r is characterised by means of a structural preorder between processes, which mimics the subtyping relation between session types from the literature.