Formal Modeling: Actors, Open Systems, Biological Systems (Record no. 18061)
[ view plain ]
| 020 ## - | |
|---|---|
| -- | 9783642249334 |
| -- | 978-3-642-24933-4 |
| 024 7# - | |
| -- | 10.1007/978-3-642-24933-4 |
| -- | doi |
| 050 #4 - | |
| -- | QA76.758 |
| 072 #7 - | |
| -- | UMZ |
| -- | bicssc |
| 072 #7 - | |
| -- | COM051230 |
| -- | bisacsh |
| 082 04 - | |
| -- | 005.1 |
| -- | 23 |
| 100 1# - | |
| -- | Agha, Gul. |
| -- | editor. |
| 245 10 - | |
| -- | Formal Modeling: Actors, Open Systems, Biological Systems |
| -- | [electronic resource] : |
| -- | Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / |
| -- | edited by Gul Agha, Olivier Danvy, José Meseguer. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2011. |
| 300 ## - | |
| -- | XX, 447 p. |
| -- | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 7000 |
| 505 0# - | |
| -- | Two 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. |
| 520 ## - | |
| -- | This 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. |
| 650 #0 - | |
| -- | Computer science. |
| 650 #0 - | |
| -- | Computer Communication Networks. |
| 650 #0 - | |
| -- | Software engineering. |
| 650 #0 - | |
| -- | Logic design. |
| 650 14 - | |
| -- | Computer Science. |
| 650 24 - | |
| -- | Software Engineering. |
| 650 24 - | |
| -- | Logics and Meanings of Programs. |
| 650 24 - | |
| -- | Programming Languages, Compilers, Interpreters. |
| 650 24 - | |
| -- | Computer Communication Networks. |
| 650 24 - | |
| -- | Programming Techniques. |
| 650 24 - | |
| -- | Mathematical Logic and Formal Languages. |
| 700 1# - | |
| -- | Danvy, Olivier. |
| -- | editor. |
| 700 1# - | |
| -- | Meseguer, José. |
| -- | editor. |
| 710 2# - | |
| -- | SpringerLink (Online service) |
| 773 0# - | |
| -- | Springer eBooks |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9783642249327 |
| 830 #0 - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 7000 |
| 856 40 - | |
| -- | http://dx.doi.org/10.1007/978-3-642-24933-4 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 950 ## - | |
| -- | Computer Science (Springer-11645) |
| 999 ## - | |
| -- | 18061 |
| -- | 18061 |
No items available.