LEADER 05474nam 22007815 450 001 996465956203316 005 20200705202756.0 010 $a3-642-24933-7 024 7 $a10.1007/978-3-642-24933-4 035 $a(CKB)3400000000024054 035 $a(SSID)ssj0000609744 035 $a(PQKBManifestationID)11362945 035 $a(PQKBTitleCode)TC0000609744 035 $a(PQKBWorkID)10623529 035 $a(PQKB)10247926 035 $a(DE-He213)978-3-642-24933-4 035 $a(MiAaPQ)EBC3067490 035 $a(PPN)156309254 035 $a(EXLCZ)993400000000024054 100 $a20111029d2011 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling: Actors; Open Systems, Biological Systems$b[electronic resource] $eEssays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /$fedited by Gul Agha, Olivier Danvy, José Meseguer 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XX, 447 p.) 225 1 $aProgramming and Software Engineering ;$v7000 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-24932-9 320 $aIncludes bibliographical references and index. 327 $aTwo PhD Students for the Price of One -- Honoring Carolyn Talcott?s Contributions to Science -- Ten Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems -- From Explicit to Symbolic Types for Communication Protocols in CCS -- Abstract LR-Parsing -- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision -- Model Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology for Compositional Cross-Layer Optimization -- From Service Identification to Service Selection: An Interleaved Perspective -- Towards a System Model for Ensembles -- Algorithmic Aspects of Risk Management -- Parameterized Metareasoning in Membership Equational Logic -- Fast Sort Computations for Order-Sorted Matching and Unification -- Solving the First Verified Software Competition Problems Using PVS -- Towards a Maude Formal Environment -- Multisimulations: Towards Next Generation Integrated Simulation Environments -- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A Programming Perspective -- Applications of Pathway Logic Modeling to Target Identification. 330 $aThis Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology. 410 0$aProgramming and Software Engineering ;$v7000 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aComputer programming 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a004.01/51 702 $aAgha$b Gul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDanvy$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeseguer$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465956203316 996 $aFormal Modeling: Actors; Open Systems, Biological Systems$92830413 997 $aUNISA