@inproceedings{4c35fc0fd65b4e65a3d4badf70f0d15a,
title = "Context-Free Session Types for Applied Pi-Calculus",
abstract = "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.",
author = "Jens Aagaard and Hans H{\"u}ttel and {Steen Jakobsen}, Mathias and Mikkel Kettunen",
year = "2018",
month = aug,
day = "24",
doi = "10.4204/EPTCS.276.3",
language = "English",
volume = "276",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "Open Publishing Association",
pages = "3--18",
booktitle = "Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.",
note = "Combined International Workshop on Expressiveness in Concurrency and Workshop on Structural Operational Semantics, EXPRESS/SOS 2018 ; Conference date: 04-09-2018 Through 04-09-2018",
}