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

by Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio

• ISBN13: 9783540488156
• ISBN10: 3540488154
• Format: Paperback
• Copyright: 2007-01-03
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on semantics, concurrency, model checking, formal languages, logics and type theory, as well as real-time and mobility.

Table of Contents

Verifying a hotel key card system	p. 1
Z/Eves and the mondex electronic purse	p. 15
Verification constraint problems with strengthening	p. 35
Quantitative [mu]-calculus analysis of power management in wireless networks	p. 50
Termination and divergence are undecidable under a maximum progress multi-step semantics for LinCa	p. 65
A topological approach of the Web classification	p. 80
Bisimulation congruences in the calculus of looping sequences	p. 93
Stronger reduction criteria for local first search	p. 108
A lattice-theoretic model for an algebra of communicating sequential processes	p. 123
A petri net translation of [pi]-calculus terms	p. 138
Handling algebraic properties in automatic analysis of security protocols	p. 153
A compositional algorithm for parallel model checking of polygonal hybrid systems	p. 168
Thread-modular verification is cartesian abstract interpretation	p. 183
Capture-avoiding substitution as a nominal algebra	p. 198
Prime decomposition problem for several kinds of regular codes	p. 213
A new approach to determinisation using bit-parallelism	p. 228
Proving ATL* properties of infinite-state systems	p. 242
Type safety for FJ and FGJ	p. 257
Partizan games in Isabelle/HOLZF	p. 272
Proof-producing program analysis	p. 287
Reachability analysis of mobile ambients in fragments of AC term rewriting	p. 302
Interesting properties of the real-time conformance relation tioco	p. 317
Model checking duration calculus : a practical approach	p. 332
Spatio-temporal model checking for mobile real-time systems	p. 347
Tutorial on formal methods for distributed and cooperative systems	p. 362
Decision procedures for the formal analysis of software	p. 366
Table of Contents provided by Blackwell. All Rights Reserved.