Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds.).
Publication Info Heidelberg ; New York : Springer, c2011.



Descript xx, 445 p. : ill., ports. ; 24 cm.
Note "This volume contains the papers presented at a symposium in honor of Carolyn Talcott held during November 3-4, 2011 in Menlo Park, California."--Preface,
Contents Two PhD students for the price of one / Solomon Feferman -- Honoring Carolyn Talcott's contributions to science / Sylvan Pinsky -- Ten years of analyzing actors: Rebeca experience / Marjan Sirjani and Mohammad Mahdi Jaghoori -- Mathematical models of object-based distributed systems / Carlos Henrique C. Duarte -- From explicit to symbolic types for communication protocols in CCS / Hanne Rii Nielson, Flemming Nielson, Jörg Kreiker, and Henrik Pilegaard -- Abstract LR-Parsing / Kyung-Goo Doh, Hyunha Kim, and David A. Schmidt -- Fractionated software for networked cyber-physical systems: research directions and long-term vision / Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung, and Andy Poggio -- Model feasible interactions in distributed real-time systems / Shangping Ren, Yue Yu, and Miao Song -- Puff, the magic protocol / Farhad Arbab -- A formal methodology for compositional cross-layer optimization / Minyoun Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, and Nalini Venkatasubramanian -- From service identification to service selection: an interleaved perspective / Devis Bianchini, Francesco Pagliarecci, and Luca Spalazzi -- Towards a system model fro ensembles / Matthias Hölzl and Martin Wirsing -- Algorithmic aspects of risk management / Ashish Gehani, Lee Zaniewski, and K. Subramani -- Parameterized metareasoning membership equational logic / Manuel Clavel, Narciso Martí-Lliet, and Miguel Palomino -- Fast sort computations for order-sorted matching and unification / Steven Eker -- Solving the first verified software competition problems using PVS / Same Owre and Natarajan Shankar -- Towards a Maude formula environment / Francisco Durán, Camilo Rocha, and José María Álvarez -- Multisimulations: towards next generation integrated simulation environments / Leila Jalai, Sharad Mehrotra, and Nalini Venkatasubramanian -- Semantics, simulaiton, and formal analysis of modeling languages for embedded systems in real-time Maude / Peter Csaba Ölveczky -- Computational biology: a programming perspective / Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, and Søren Bjerregaard Vrist -- Applications of pathway logic modeling to target identification / Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, and Carolyn Taloctt.
ISBN 9783642249327
3642249329
Click on the terms below to find similar items in the catalogue
Series Lecture notes in computer science, 7000
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7000.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science)
Computer software -- Verification.
Alt author Agha, Gul A.
Danvy, Olivier.
Meseguer, José.
Descript xx, 445 p. : ill., ports. ; 24 cm.
Note "This volume contains the papers presented at a symposium in honor of Carolyn Talcott held during November 3-4, 2011 in Menlo Park, California."--Preface,
Contents Two PhD students for the price of one / Solomon Feferman -- Honoring Carolyn Talcott's contributions to science / Sylvan Pinsky -- Ten years of analyzing actors: Rebeca experience / Marjan Sirjani and Mohammad Mahdi Jaghoori -- Mathematical models of object-based distributed systems / Carlos Henrique C. Duarte -- From explicit to symbolic types for communication protocols in CCS / Hanne Rii Nielson, Flemming Nielson, Jörg Kreiker, and Henrik Pilegaard -- Abstract LR-Parsing / Kyung-Goo Doh, Hyunha Kim, and David A. Schmidt -- Fractionated software for networked cyber-physical systems: research directions and long-term vision / Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung, and Andy Poggio -- Model feasible interactions in distributed real-time systems / Shangping Ren, Yue Yu, and Miao Song -- Puff, the magic protocol / Farhad Arbab -- A formal methodology for compositional cross-layer optimization / Minyoun Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, and Nalini Venkatasubramanian -- From service identification to service selection: an interleaved perspective / Devis Bianchini, Francesco Pagliarecci, and Luca Spalazzi -- Towards a system model fro ensembles / Matthias Hölzl and Martin Wirsing -- Algorithmic aspects of risk management / Ashish Gehani, Lee Zaniewski, and K. Subramani -- Parameterized metareasoning membership equational logic / Manuel Clavel, Narciso Martí-Lliet, and Miguel Palomino -- Fast sort computations for order-sorted matching and unification / Steven Eker -- Solving the first verified software competition problems using PVS / Same Owre and Natarajan Shankar -- Towards a Maude formula environment / Francisco Durán, Camilo Rocha, and José María Álvarez -- Multisimulations: towards next generation integrated simulation environments / Leila Jalai, Sharad Mehrotra, and Nalini Venkatasubramanian -- Semantics, simulaiton, and formal analysis of modeling languages for embedded systems in real-time Maude / Peter Csaba Ölveczky -- Computational biology: a programming perspective / Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, and Søren Bjerregaard Vrist -- Applications of pathway logic modeling to target identification / Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, and Carolyn Taloctt.
ISBN 9783642249327
3642249329
Series Lecture notes in computer science, 7000
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7000.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Formal methods (Computer science)
Computer software -- Verification.
Alt author Agha, Gul A.
Danvy, Olivier.
Meseguer, José.

Subject Formal methods (Computer science)
Computer software -- Verification.
Descript xx, 445 p. : ill., ports. ; 24 cm.
Note "This volume contains the papers presented at a symposium in honor of Carolyn Talcott held during November 3-4, 2011 in Menlo Park, California."--Preface,
Contents Two PhD students for the price of one / Solomon Feferman -- Honoring Carolyn Talcott's contributions to science / Sylvan Pinsky -- Ten years of analyzing actors: Rebeca experience / Marjan Sirjani and Mohammad Mahdi Jaghoori -- Mathematical models of object-based distributed systems / Carlos Henrique C. Duarte -- From explicit to symbolic types for communication protocols in CCS / Hanne Rii Nielson, Flemming Nielson, Jörg Kreiker, and Henrik Pilegaard -- Abstract LR-Parsing / Kyung-Goo Doh, Hyunha Kim, and David A. Schmidt -- Fractionated software for networked cyber-physical systems: research directions and long-term vision / Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung, and Andy Poggio -- Model feasible interactions in distributed real-time systems / Shangping Ren, Yue Yu, and Miao Song -- Puff, the magic protocol / Farhad Arbab -- A formal methodology for compositional cross-layer optimization / Minyoun Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, and Nalini Venkatasubramanian -- From service identification to service selection: an interleaved perspective / Devis Bianchini, Francesco Pagliarecci, and Luca Spalazzi -- Towards a system model fro ensembles / Matthias Hölzl and Martin Wirsing -- Algorithmic aspects of risk management / Ashish Gehani, Lee Zaniewski, and K. Subramani -- Parameterized metareasoning membership equational logic / Manuel Clavel, Narciso Martí-Lliet, and Miguel Palomino -- Fast sort computations for order-sorted matching and unification / Steven Eker -- Solving the first verified software competition problems using PVS / Same Owre and Natarajan Shankar -- Towards a Maude formula environment / Francisco Durán, Camilo Rocha, and José María Álvarez -- Multisimulations: towards next generation integrated simulation environments / Leila Jalai, Sharad Mehrotra, and Nalini Venkatasubramanian -- Semantics, simulaiton, and formal analysis of modeling languages for embedded systems in real-time Maude / Peter Csaba Ölveczky -- Computational biology: a programming perspective / Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, and Søren Bjerregaard Vrist -- Applications of pathway logic modeling to target identification / Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, and Carolyn Taloctt.
Alt author Agha, Gul A.
Danvy, Olivier.
Meseguer, José.
ISBN 9783642249327
3642249329

Links and services for this item: