02074nam0 2200421 i 450 VAN011547320220311015640.496N978-94-6239-204-520180309d2016 |0itac50 baengNL|||| |||||Type systems for distributed programs: components and sessionsOrnela Dardha[Amsterdam]Atlantis2016XXII, 192 p.ill.24 cm001VAN01043642001 Atlantis Studies in Computing210 Paris [etc.]Atlantis7VAN0242816Type systems for distributed programs: components and sessions278516668-XXComputer science [MSC 2020]VANC019670MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68M14Distributed systems [MSC 2020]VANC027695MF68N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]VANC028606MF68Q85Models 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:KAmsterdamVANL001716DardhaOrnelaVANV089395756122AtlantisVANV113618650ITSOL20230616RICAhttp://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 SBAVAN15NVAN0115473BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2577 15EB 2577 20180309 Type systems for distributed programs: components and sessions2785166UNICAMPANIA00942nam0 2200253 i 450 VAN005286020090908120000.020060921d1964 |0itac50 baitaIT|||| |||||Pisanelloa cura di Anna ZanoliMilanoFabbric1964[4] c., XVI p. di tav.ill.36 cm.001VAN00479222001 ˆI ‰maestri del colore210 MilanoFabbri.47MilanoVANL000284ZanoliAnnaVANV041532Fabbri, FabrizioVANV108057650ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE0103VAN07VAN0052860BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Pc 1 / 47 07 58661 20060921 Pisanello72221UNICAMPANIA