Abstract is missing.
- Two PhD Students for the Price of OneSolomon Feferman. 1-3 [doi]
- Honoring Carolyn Talcott's Contributions to ScienceSylvan Pinsky. 4-19 [doi]
- Ten Years of Analyzing Actors: Rebeca ExperienceMarjan Sirjani, Mohammad Mahdi Jaghoori. 20-56 [doi]
- Mathematical Models of Object-Based Distributed SystemsCarlos Henrique C. Duarte. 57-73 [doi]
- From Explicit to Symbolic Types for Communication Protocols in CCSHanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard. 74-89 [doi]
- Abstract LR-ParsingKyung-Goo Doh, Hyunha Kim, David A. Schmidt. 90-109 [doi]
- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term VisionMark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio. 110-143 [doi]
- Model Feasible Interactions in Distributed Real-Time SystemsShangping Ren, Yue Yu, Miao Song 0004. 144-168 [doi]
- Puff, The Magic ProtocolFarhad Arbab. 169-206 [doi]
- A Formal Methodology for Compositional Cross-Layer OptimizationMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian. 207-222 [doi]
- From Service Identification to Service Selection: An Interleaved PerspectiveDevis Bianchini, Francesco Pagliarecci, Luca Spalazzi. 223-240 [doi]
- Towards a System Model for EnsemblesMatthias M. Hölzl, Martin Wirsing. 241-261 [doi]
- Algorithmic Aspects of Risk ManagementAshish Gehani, Lee Zaniewski, K. Subramani. 262-276 [doi]
- Parameterized Metareasoning in Membership Equational LogicManuel Clavel, Narciso Martí-Oliet, Miguel Palomino. 277-298 [doi]
- Fast Sort Computations for Order-Sorted Matching and UnificationSteven Eker. 299-314 [doi]
- Solving the First Verified Software Competition Problems Using PVSSam Owre, Natarajan Shankar. 315-328 [doi]
- Towards a Maude Formal EnvironmentFrancisco Durán, Camilo Rocha, José M. Álvarez. 329-351 [doi]
- Multisimulations: Towards Next Generation Integrated Simulation EnvironmentsLeila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian. 352-367 [doi]
- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time MaudePeter Csaba Ölveczky. 368-402 [doi]
- Computational Biology: A Programming PerspectiveLars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist. 403-433 [doi]
- Applications of Pathway Logic Modeling to Target IdentificationAnupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott. 434-445 [doi]