LEADER 02074nam0 2200421 i 450 
001 VAN0115473
005 20220311015640.496
017 70$2N$a978-94-6239-204-5
100   $a20180309d2016       |0itac50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $aType systems for distributed programs: components and sessions$fOrnela Dardha
210   $a[Amsterdam]$cAtlantis$d2016
215   $aXXII, 192 p.$cill.$d24 cm
410  1$1001VAN0104364$12001 $aAtlantis Studies in Computing$1210  $aParis [etc.]$cAtlantis$v7
500  1$3VAN0242816$aType systems for distributed programs: components and sessions$92785166
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF
606   $a68M14$xDistributed systems [MSC 2020]$3VANC027695$2MF
606   $a68N19$xOther programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]$3VANC028606$2MF
606   $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$3VANC031034$2MF
610   $aComplex Distributed Systems$9KW:K
610   $aDynamic Reconfiguration$9KW:K
610   $aPi-calculus$9KW:K
610   $aSession Types$9KW:K
610   $aStatic Analysis$9KW:K
620   $dAmsterdam$3VANL001716
700  1$aDardha$bOrnela$3VANV089395$0756122
712   $aAtlantis$3VANV113618$4650
801   $aIT$bSOL$c20230616$gRICA
856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-204-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15
912   $fN
912   $aVAN0115473
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 2577                      $e15EB 2577              20180309            
996   $aType systems for distributed programs: components and sessions$92785166
997   $aUNICAMPANIA