Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Agha, Gul (Επιμελητής έκδοσης), Danvy, Olivier (Επιμελητής έκδοσης), Meseguer, José (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Lecture Notes in Computer Science, 7000
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Programming Techniques.; Mathematical Logic and Formal Languages.

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 comput...

Πίνακας περιεχομένων:

• 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.