01656nam0 2200349 i 450 SUN011547320180313091055.750.00N978-94-6239-204-520180309d2016 |0engc50 baengNL|||| |||||*Type systems for distributed programscomponents and sessionsOrnela Dardha[Amsterdam] : Atlantis, 2016XXII192 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01043642001 *Atlantis Studies in Computing7210 ParisAtlantis2012-.68-XXComputer science [MSC 2020]MFSUNC01967068Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]MFSUNC02455068M14Distributed systems [MSC 2020]MFSUNC02769568N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]MFSUNC02860668Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]MFSUNC031034AmsterdamSUNL001716Dardha, OrnelaSUNV089395756122AtlantisSUNV008721650ITSOL20200928RICAhttp://dx.doi.org/10.2991/978-94-6239-204-5SUN0115473BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2577 15EB 2577 20180309 Type systems for distributed programs1523709UNICAMPANIA