Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings /

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academi...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Barkaoui, Kamel (Editor ), Cavalcanti, Ana (Editor ), Cerone, Antonio (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4281
Temas:
Computer science.
Machine theory.
Compilers (Computer programs).
Software engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares