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

3 Citationer (Scopus)
Bidragets oversatte titelBinære sessionstyper for psi-kalkyler
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
Land/OmrådeVietnam
ByHanoi
Periode21/11/201623/11/2016
NavnLecture Notes in Computer Science
Vol/bind10017
ISSN0302-9743

Citationsformater