Anders Starcke Henriksen Lasse Nielsen Thomas T. Hildebrandt Nobuko Yoshida Fritz Henglein Trustworthy Pervasive Healthcare Services via Multiparty Session Types. 124-141 2012 FHIES https://doi.org/10.1007/978-3-642-39088-3_8 conf/fhies/2012 db/conf/fhies/fhies2012.html#HenriksenNHYH12