Articoli correlati a Formal Modeling: Actors; Open Systems, Biological Systems...

Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday - Brossura

 
9783642249341: Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Two PhD Students for the Price of One.- Honoring Carolyn Talcott's Contributions to Science.- Ten Years of Analyzing Actors: Rebeca Experience.- Mathematical Models of Object-Based Distributed Systems.- From Explicit to Symbolic Types for Communication Protocols in CCS.- Abstract LR-Parsing.- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.- Model Feasible Interactions in Distributed Real-Time Systems.- Puff, The Magic Protocol.- A Formal Methodology for Compositional Cross-Layer Optimization.- From Service Identification to Service Selection: An Interleaved Perspective.- Towards a System Model for Ensembles.- Algorithmic Aspects of Risk Management.- Parameterized Metareasoning in Membership Equational Logic.- Fast Sort Computations for Order-Sorted Matching and Unification.- Solving the First Verified Software Competition Problems Using PVS.- Towards a Maude Formal Environment.- Multisimulations: Towards Next Generation Integrated Simulation Environments.- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.- Computational Biology: A Programming Perspective.- Applications of Pathway Logic Modeling to Target Identification.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642249327: Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday: 7000

Edizione in evidenza

ISBN 10:  3642249329 ISBN 13:  9783642249327
Casa editrice: Springer, 2011
Brossura