02088nam0 2200421 i 450 VAN0011547320240806100754.167N978-94-6239-204-520180309d2016 |0itac50 baengNL|||| |||||Type systems for distributed programs: components and sessionsOrnela Dardha[Amsterdam]Atlantis2016XXII, 192 p.ill.24 cm001VAN001043642001 Atlantis Studies in Computing210 Paris [etc.]Atlantis7VAN00242816Type systems for distributed programs: components and sessions278516668-XXComputer science [MSC 2020]VANC019670MF68M14Distributed systems [MSC 2020]VANC027695MF68N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]VANC028606MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]VANC031034MFComplex Distributed SystemsKW:KDynamic ReconfigurationKW:KPi-calculusKW:KSession TypesKW:KStatic AnalysisKW:KAmsterdamVANL001716DardhaOrnelaVANV089395756122Atlantis <editore>VANV113618650ITSOL20260130RICAhttp://dx.doi.org/10.2991/978-94-6239-204-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00115473BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2577 15EB 2577 20180309 Type systems for distributed programs: components and sessions2785166UNICAMPANIA