Binary Session Types for Psi-Calculi

Hans Huttel

doi:10.1007/978-3-319-47958-3_6

Binary Session Types for Psi-Calculi

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

3 Citations (Scopus)

Translated title of the contribution	Binære sessionstyper for psi-kalkyler
Original language	English
Title of host publication	Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Editors	Atsushi Igarashi
Number of pages	20
Publication date	31 Oct 2016
Pages	96-115
ISBN (Print)	978-3-319-47957-6
ISBN (Electronic)	978-3-319-47958-3
DOIs	https://doi.org/10.1007/978-3-319-47958-3_6
Publication status	Published - 31 Oct 2016
Event	Asian Symposium on Programming Languages and Systems - Hanoi, Viet Nam Duration: 21 Nov 2016 → 23 Nov 2016 Conference number: 14

Conference

Conference	Asian Symposium on Programming Languages and Systems
Number	14
Country/Territory	Viet Nam
City	Hanoi
Period	21/11/2016 → 23/11/2016

Series	Lecture Notes in Computer Science
Volume	10017
ISSN	0302-9743

Access to Document

10.1007/978-3-319-47958-3_6

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{b2b28d3d57f54e1c8268deb79a335858,

title = "Binary Session Types for Psi-Calculi",

author = "Hans Huttel",

year = "2016",

month = oct,

day = "31",

doi = "10.1007/978-3-319-47958-3_6",

language = "English",

isbn = "978-3-319-47957-6",

series = "Lecture Notes in Computer Science",

publisher = "Physica-Verlag",

pages = "96--115",

editor = "Atsushi Igarashi",

booktitle = "Programming Languages and Systems",

note = "Asian Symposium on Programming Languages and Systems ; Conference date: 21-11-2016 Through 23-11-2016",

}

Huttel, H 2016, Binary Session Types for Psi-Calculi. in A Igarashi (ed.), Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Lecture Notes in Computer Science, vol. 10017, pp. 96-115, Asian Symposium on Programming Languages and Systems, Hanoi, Viet Nam, 21/11/2016. https://doi.org/10.1007/978-3-319-47958-3_6

Binary Session Types for Psi-Calculi. / Huttel, Hans.
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. ed. / Atsushi Igarashi. 2016. p. 96-115 (Lecture Notes in Computer Science, Vol. 10017).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Binary Session Types for Psi-Calculi

AU - Huttel, Hans

N1 - Conference code: 14

PY - 2016/10/31

Y1 - 2016/10/31

U2 - 10.1007/978-3-319-47958-3_6

DO - 10.1007/978-3-319-47958-3_6

M3 - Article in proceeding

SN - 978-3-319-47957-6

T3 - Lecture Notes in Computer Science

SP - 96

EP - 115

BT - Programming Languages and Systems

A2 - Igarashi, Atsushi

T2 - Asian Symposium on Programming Languages and Systems

Y2 - 21 November 2016 through 23 November 2016

ER -