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

Bidragets oversatte titel: Trustworthy Pervasive Healthcare Services via Multi-party Session Types

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

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Bidragets oversatte titel	Trustworthy Pervasive Healthcare Services via Multi-party Session Types
Originalsprog	Engelsk
Titel	Foundations of Health Information Engineering and Systems
Vol/bind	7789
Forlag	Springer
Publikationsdato	2013
Sider	124-141
ISBN (Trykt)	978-3-642-39087-6
Status	Udgivet - 2013
Begivenhed	International Symposium on Foundations of Health Information Engineering and Systems - FHIES 2012 - http://simbioses.ca/FHIES12/, Paris, Frankrig Varighed: 27 aug. 2012 → 28 aug. 2012 Konferencens nummer: 2 http://simbioses.ca/FHIES12/

Konference

Konference	International Symposium on Foundations of Health Information Engineering and Systems - FHIES 2012
Nummer	2
Lokation	http://simbioses.ca/FHIES12/
Land/Område	Frankrig
By	Paris
Periode	27/08/2012 → 28/08/2012
Internetadresse	http://simbioses.ca/FHIES12/

Navn	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
Projekter: Projekt › Forskning

Citationsformater

@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. i Foundations of Health Information Engineering and Systems. bind 7789, Springer, Lecture Notes in Computer Science, s. 124-141, International Symposium on Foundations of Health Information Engineering and Systems - FHIES 2012, Paris, Frankrig, 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. Bind 7789 Springer, 2013. s. 124-141 (Lecture Notes in Computer Science).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › 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

Konference

Projekter

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Citationsformater