Formal Modeling: Actors, Open Systems, Biological Systems

Keyphrases

Publications

2011

Francisco Durán, Camilo Rocha, José María Álvarez
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Steven Eker
Fast Sort Computations for Order-Sorted Matching and Unification. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Matthias M. Hölzl, Martin Wirsing
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
Abstract LR-Parsing. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Shangping Ren, Yue Yu, Miao Song
Model Feasible Interactions in Distributed Real-Time Systems. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Peter Csaba Ölveczky
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Ashish Gehani, Lee Zaniewski, K. Subramani
Algorithmic Aspects of Risk Management. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist
Computational Biology: A Programming Perspective. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian
Multisimulations: Towards Next Generation Integrated Simulation Environments. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Sam Owre, Natarajan Shankar
Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Farhad Arbab
Puff, The Magic Protocol. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Sylvan Pinsky
Honoring Carolyn Talcott's Contributions to Science. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Marjan Sirjani, Mohammad Mahdi Jaghoori
Ten Years of Analyzing Actors: Rebeca Experience. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Carlos Henrique C. Duarte
Mathematical Models of Object-Based Distributed Systems. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Solomon Feferman
Two PhD Students for the Price of One. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
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. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott
Applications of Pathway Logic Modeling to Target Identification. Formal Modeling: Actors, Open Systems, Biological Systems (2011)

volume 7000, 2011

Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Formal Modeling: Actors, Open Systems, Biological Systems 7000 (2011)