Context-Free Session Types for Applied Pi-Calculus

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Journal title: Electronic Proceedings in Theoretical Computer Science

Journal number: 276

Journal publisher: School of Computer Science and Engineering at UNSW

Published year: 2018

Published pages: 3-18

DOI identifier: 10.4204/EPTCS.276.3

ISSN: 2075-2180