Jens Aagaard (Department of Computer Science, Aalborg University) |
Hans Hüttel (Department of Computer Science, Aalborg University) |
Mathias Jakobsen (Department of Computer Science, Aalborg University) |
Mikkel Kettunen (Department of Computer Science, Aalborg University) |
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can be sent. Session types resemble process terms from BPA and we use a version of bisimulation equivalence to characterize type equivalence. We present a quotiented type system defined on type equivalence classes for which type equivalence is built into the type system. Both type systems satisfy general soundness properties; this is established by an appeal to a generic session type system for psi-calculi. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.276.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |