Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
BuchKartoniert, Paperback
376 Seiten
Englisch
Springererschienen am30.10.2006
We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextWe present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials.
Details
ISBN/GTIN978-3-540-48815-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2006
Erscheinungsdatum30.10.2006
ReiheLecture Notes in Computer Science
Seiten376 Seiten
SpracheEnglisch
Gewicht558 g
IllustrationenXVI, 376 p.
Artikel-Nr.10741626

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr

Autor