Types for resources in φ-calculi

Hans Hüttel*

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number of pages20
Volume8358 LNCS
PublisherSpringer
Publication date1 Jan 2014
Pages83-102
ISBN (Print)9783319051185
DOIs
Publication statusPublished - 1 Jan 2014
Event8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina
Duration: 30 Aug 201331 Aug 2013
Conference number: 8th

Conference

Conference8th International Symposium on Trustworthy Global Computing
Number8th
CountryArgentina
CityBuenos Aires
Period30/08/201331/08/2013
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8358 LNCS
ISSN0302-9743

Cite this