Theoretical Aspects of Computing - ICTAC 2006
Editat de Kamel Barkaoui, Ana Cavalcanti, Antonio Ceroneen Limba Engleză Paperback – 30 oct 2006
Preț: 327.07 lei
Preț vechi: 408.84 lei
-20%
Puncte Express: 491
Carte tipărită la comandă
Livrare economică 08-22 iunie
Specificații
ISBN-13: 9783540488156
ISBN-10: 3540488154
Pagini: 396
Ilustrații: XVI, 376 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.6 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540488154
Pagini: 396
Ilustrații: XVI, 376 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.6 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Verifying a Hotel Key Card System.- Z/Eves and the Mondex Electronic Purse.- Verification Constraint Problems with Strengthening.- Semantics.- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks.- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.- A Topological Approach of the Web Classification.- Concurrency.- Bisimulation Congruences in the Calculus of Looping Sequences.- Stronger Reduction Criteria for Local First Search.- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.- A Petri Net Translation of ?-Calculus Terms.- Model Checking.- Handling Algebraic Properties in Automatic Analysis of Security Protocols.- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.- Thread-Modular Verification Is Cartesian Abstract Interpretation.- Formal Languages.- Capture-Avoiding Substitution as a Nominal Algebra.- Prime Decomposition Problem for Several Kinds of Regular Codes.- A New Approach to Determinisation Using Bit-Parallelism.- Logic and Type Theory.- Proving ATL* Properties of Infinite-State Systems.- Type Safety for FJ and FGJ.- Partizan Games in Isabelle/HOLZF.- Proof-Producing Program Analysis.- Real-Time and Mobility.- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.- Interesting Properties of the Real-Time Conformance Relation tioco.- Model Checking Duration Calculus: A Practical Approach.- Spatio-temporal Model Checking for Mobile Real-Time Systems.- Tutorials: Extended Abstracts.- Tutorial on Formal Methods for Distributed and Cooperative Systems.- Decision Procedures for the Formal Analysis of Software.