A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Name-Passing Calculi: From Fusions to Preorders and Types
2013
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
The fusion calculi are a simplification of the picalculus in which input and output are symmetric and restriction is the only binder. We highlight a major difference between these calculi and the pi-calculus from the point of view of types, proving some impossibility results for subtyping in fusion calculi. We propose a modification of fusion calculi in which the name equivalences produced by fusions are replaced by name preorders, and with a distinction between positive and negative
doi:10.1109/lics.2013.44
dblp:conf/lics/HirschkoffMS13
fatcat:5flwsbq7urccvcdcqv4kc2i37y