Trustworthy Pervasive Healthcare Services via Multi-party Session Types

Anders S. Henriksen, Lasse Nielsen, Thomas Hildebrandt, Nobuko Yoshida, Fritz Henglein

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Translated title of the contributionTrustworthy Pervasive Healthcare Services via Multi-party Session Types
Original languageEnglish
Title of host publicationFoundations of Health Information Engineering and Systems
Volume7789
PublisherSpringer
Publication date2013
Pages124-141
ISBN (Print)978-3-642-39087-6
Publication statusPublished - 2013
EventInternational Symposium on Foundations of Health Information Engineering and Systems - http://simbioses.ca/FHIES12/, Paris, France
Duration: 27 Aug 201228 Aug 2012
Conference number: 2
http://simbioses.ca/FHIES12/

Conference

ConferenceInternational Symposium on Foundations of Health Information Engineering and Systems
Number2
Locationhttp://simbioses.ca/FHIES12/
Country/TerritoryFrance
CityParis
Period27/08/201228/08/2012
Internet address
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this