• DOI:10.4204/EPTCS.276.3
Corpus ID: 52099237

Context-Free Session Types for Applied Pi-Calculus

@article{Aagaard2018ContextFreeST,
  title={Context-Free Session Types for Applied Pi-Calculus},
  author={Jens Aagaard and Hans H{\"u}ttel and Mathias Jakobsen and Mikkel Kettunen},
  journal={CoRR},
  year={2018},
  volume={abs/1808.08648},
  pages={3-18}
}

Jens Aagaard, Hans Hüttel, +1 author Mikkel Kettunen

Published 2018

Mathematics, Computer Science

CoRR

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… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed