LEADER 04016nam  22007575  450 
001 996466073003316
005 20230330020628.0
010   $a3-030-21485-0
024 7 $a10.1007/978-3-030-21485-2
035   $a(CKB)4100000008618276
035   $a(DE-He213)978-3-030-21485-2
035   $a(MiAaPQ)EBC5922511
035   $a(PPN)238487938
035   $a(EXLCZ)994100000008618276
100   $a20190703d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModels, Languages, and Tools for Concurrent and Distributed Programming$b[electronic resource] $eEssays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /$fedited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIII, 498 p. 2003 illus., 53 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11665
300   $aIncludes index.
311   $a3-030-21484-2 
327   $aHomage from Friends -- Observational Semantics -- Coordination Models and Languages -- Logics and Types -- Distributed Systems Modelling -- Security.
330   $aThis volume was published in honor of Rocco De Nicola?s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11665
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer systems
606   $aComputer networks
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aComputer System Implementation
606   $aComputer Communication Networks
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer systems.
615  0$aComputer networks.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aComputer System Implementation.
615 24$aComputer Communication Networks.
676   $a005.1
702   $aBoreale$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCorradini$b Flavio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLoreti$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPugliese$b Rosario$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466073003316
996   $aModels, Languages, and Tools for Concurrent and Distributed Programming$92536100
997   $aUNISA