Trustworthy Pervasive Healthcare Services via Multi-party Session Types

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

Trustworthy Pervasive Healthcare Services via Multi-party Session Types

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

Programming Logic and Semantics

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Translated title of the contribution	Trustworthy Pervasive Healthcare Services via Multi-party Session Types
Original language	English
Title of host publication	Foundations of Health Information Engineering and Systems
Volume	7789
Publisher	Springer
Publication date	2013
Pages	124-141
ISBN (Print)	978-3-642-39087-6
Publication status	Published - 2013
Event	International Symposium on Foundations of Health Information Engineering and Systems - http://simbioses.ca/FHIES12/, Paris, France Duration: 27 Aug 2012 → 28 Aug 2012 Conference number: 2 http://simbioses.ca/FHIES12/

Conference

Conference	International Symposium on Foundations of Health Information Engineering and Systems
Number	2
Location	http://simbioses.ca/FHIES12/
Country/Territory	France
City	Paris
Period	27/08/2012 → 28/08/2012
Internet address	http://simbioses.ca/FHIES12/

Series	Lecture Notes in Computer Science
ISSN	0302-9743

TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Project: Research

Cite this

@inbook{4bfe29528f5d4536a9c9f5fb93d3749b,

title = "Trustworthy Pervasive Healthcare Services via Multi-party Session Types",

author = "Henriksen, \{Anders S.\} and Lasse Nielsen and Thomas Hildebrandt and Nobuko Yoshida and Fritz Henglein",

note = "Med i h{\o}st fra april 2013. Endnu ikke udkommet. 3.5.2013 haal Flyttet til 2013, hvor proceedings udkommer, jvf. http://link.springer.com/chapter/10.1007\%2F978-3-642-39088-3\_8\#page-1; International Symposium on Foundations of Health Information Engineering and Systems ; Conference date: 27-08-2012 Through 28-08-2012",

year = "2013",

language = "English",

isbn = "978-3-642-39087-6",

volume = "7789",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "124--141",

booktitle = "Foundations of Health Information Engineering and Systems",

address = "Germany",

url = "http://simbioses.ca/FHIES12/",

}

Henriksen, AS, Nielsen, L, Hildebrandt, T, Yoshida, N & Henglein, F 2013, Trustworthy Pervasive Healthcare Services via Multi-party Session Types. in Foundations of Health Information Engineering and Systems. vol. 7789, Springer, Lecture Notes in Computer Science, pp. 124-141, International Symposium on Foundations of Health Information Engineering and Systems, Paris, France, 27/08/2012.

Trustworthy Pervasive Healthcare Services via Multi-party Session Types. / Henriksen, Anders S.; Nielsen, Lasse; Hildebrandt, Thomas et al.
Foundations of Health Information Engineering and Systems. Vol. 7789 Springer, 2013. p. 124-141 (Lecture Notes in Computer Science).

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

TY - CHAP

T1 - Trustworthy Pervasive Healthcare Services via Multi-party Session Types

AU - Henriksen, Anders S.

AU - Nielsen, Lasse

AU - Hildebrandt, Thomas

AU - Yoshida, Nobuko

AU - Henglein, Fritz

N1 - Conference code: 2

PY - 2013

Y1 - 2013

M3 - Book chapter

SN - 978-3-642-39087-6

VL - 7789

T3 - Lecture Notes in Computer Science

SP - 124

EP - 141

BT - Foundations of Health Information Engineering and Systems

PB - Springer

T2 - International Symposium on Foundations of Health Information Engineering and Systems

Y2 - 27 August 2012 through 28 August 2012

ER -

Trustworthy Pervasive Healthcare Services via Multi-party Session Types

Conference

Projects

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Cite this