70. Birthday: Carolyn L. Talcott 2011

Gul Agha, Olivier Danvy, José Meseguer (Eds.): 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

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, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard:
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

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, Miao Song:
Model Feasible Interactions in Distributed Real-Time Systems. 144-168

Farhad Arbab:
Puff, The Magic Protocol. 169-206
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian:
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

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
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, Camilo Rocha, José M. Álvarez:
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

Last update Tue May 22 23:23:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page