Types for resources in φ-calculi

Hans Hüttel*

*Kontaktforfatter

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

4 Citationer (Scopus)
OriginalsprogEngelsk
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider20
Vol/bind8358 LNCS
ForlagSpringer
Publikationsdato1 jan. 2014
Sider83-102
ISBN (Trykt)9783319051185
DOI
StatusUdgivet - 1 jan. 2014
Begivenhed8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina
Varighed: 30 aug. 201331 aug. 2013
Konferencens nummer: 8th

Konference

Konference8th International Symposium on Trustworthy Global Computing
Nummer8th
LandArgentina
ByBuenos Aires
Periode30/08/201331/08/2013
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8358 LNCS
ISSN0302-9743

Citationsformater