Context-Free Session Types for Applied Pi-Calculus

Jens Aagaard, Hans Hüttel, Mathias Steen Jakobsen, Mikkel Kettunen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

146 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings 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.
Number of pages16
Volume276
PublisherOpen Publishing Association
Publication date24 Aug 2018
Pages3-18
DOIs
Publication statusPublished - 24 Aug 2018
EventCombined International Workshop on Expressiveness in Concurrency and Workshop on Structural Operational Semantics - Beijing, China
Duration: 4 Sep 20184 Sep 2018

Conference

ConferenceCombined International Workshop on Expressiveness in Concurrency and Workshop on Structural Operational Semantics
CountryChina
CityBeijing
Period04/09/201804/09/2018
SeriesElectronic Proceedings in Theoretical Computer Science, EPTCS
ISSN2075-2180

    Fingerprint

Cite this

Aagaard, J., Hüttel, H., Steen Jakobsen, M., & Kettunen, M. (2018). Context-Free Session Types for Applied Pi-Calculus. In 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. (Vol. 276, pp. 3-18). Open Publishing Association. Electronic Proceedings in Theoretical Computer Science, EPTCS https://doi.org/10.4204/EPTCS.276.3