default search action
70. Birthday: Carolyn L. Talcott 2011
- Gul Agha, Olivier Danvy, José Meseguer:
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7
Essays on Carolyn Talcott
- Solomon Feferman:
Two PhD Students for the Price of One. 1-3 - Sylvan Pinsky:
Honoring Carolyn Talcott's Contributions to Science. 4-19
Actors and Programming Languages
- Marjan Sirjani, Mohammad Mahdi Jaghoori:
Ten Years of Analyzing Actors: Rebeca Experience. 20-56 - Carlos Henrique C. Duarte
:
Mathematical Models of Object-Based Distributed Systems. 57-73 - Hanne Riis Nielson
From Explicit to Symbolic Types for Communication Protocols in CCS. 74-89 - Kyung-Goo Doh, Hyunha Kim, David A. Schmidt:
Abstract LR-Parsing. 90-109
Cyberphysical Systems
- Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio:
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. 110-143 - Shangping Ren, Yue Yu
Model Feasible Interactions in Distributed Real-Time Systems. 144-168
Middleware and Meta-architectures
- Farhad Arbab:
Puff, The Magic Protocol. 169-206 - Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
A Formal Methodology for Compositional Cross-Layer Optimization. 207-222 - Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: An Interleaved Perspective. 223-240 - Matthias M. Hölzl, Martin Wirsing:
Towards a System Model for Ensembles. 241-261 - Ashish Gehani, Lee Zaniewski, K. Subramani:
Algorithmic Aspects of Risk Management. 262-276
Formal Methods and Reasoning Tools
- Manuel Clavel, Narciso Martí-Oliet
Parameterized Metareasoning in Membership Equational Logic. 277-298 - Steven Eker:
Fast Sort Computations for Order-Sorted Matching and Unification. 299-314 - Sam Owre, Natarajan Shankar:
Solving the First Verified Software Competition Problems Using PVS. 315-328 - Francisco Durán
Towards a Maude Formal Environment. 329-351 - Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian:
Multisimulations: Towards Next Generation Integrated Simulation Environments. 352-367 - Peter Csaba Ölveczky:
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. 368-402
Computational Biology
- Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist:
Computational Biology: A Programming Perspective. 403-433 - Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott:
Applications of Pathway Logic Modeling to Target Identification. 434-445
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: