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

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.Barkaoui, Kamel is the author of 'Theoretical Aspects of Computing - Ictac 2006 Third International Colloquium Tunis, Tunisia, November 20-24, 2006 Proceedings', published 2007 under ISBN 9783540488156 and ISBN 3540488154.