Binary Session Types for Psi-Calculi

Bidragets oversatte titel: Binære sessionstyper for psi-kalkyler

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
OriginalsprogEngelsk
TitelProgramming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
RedaktørerAtsushi Igarashi
Antal sider20
Publikationsdato31 okt. 2016
Sider96-115
ISBN (Trykt)978-3-319-47957-6
ISBN (Elektronisk)978-3-319-47958-3
DOI
StatusUdgivet - 31 okt. 2016
BegivenhedAsian Symposium on Programming Languages and Systems - Hanoi, Vietnam
Varighed: 21 nov. 201623 nov. 2016
Konferencens nummer: 14

Konference

KonferenceAsian Symposium on Programming Languages and Systems
Nummer14
LandVietnam
ByHanoi
Periode21/11/201623/11/2016
NavnLecture Notes in Computer Science
Vol/bind10017
ISSN0302-9743

Citer dette

Huttel, H. (2016). Binary Session Types for Psi-Calculi. I A. Igarashi (red.), Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (s. 96-115). Lecture Notes in Computer Science, Bind. 10017 https://doi.org/10.1007/978-3-319-47958-3_6
Huttel, Hans. / Binary Session Types for Psi-Calculi. Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. red. / Atsushi Igarashi. 2016. s. 96-115 (Lecture Notes in Computer Science, Bind 10017).
@inproceedings{b2b28d3d57f54e1c8268deb79a335858,
title = "Binary Session Types for Psi-Calculi",
author = "Hans Huttel",
year = "2016",
month = "10",
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",

}

Huttel, H 2016, Binary Session Types for Psi-Calculi. i A Igarashi (red.), Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Lecture Notes in Computer Science, bind 10017, s. 96-115, Asian Symposium on Programming Languages and Systems, Hanoi, Vietnam, 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. red. / Atsushi Igarashi. 2016. s. 96-115 (Lecture Notes in Computer Science, Bind 10017).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Binary Session Types for Psi-Calculi

AU - Huttel, Hans

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

ER -

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