Theoretical Aspects of Computing - ICTAC 2006
Publication year: 2006
ISBN: 978-3-540-48816-3
Internet Resource: Please Login to download book
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 three invited talks and summaries of two tutorials were carefully reviewed and selected from 78 submissions.
Subject: Computer Science, Isabelle, automata theory, concurrent systems, cooperative systems, formal language, formal languages, formal method, formal methods, logic, logical foundations, mobility, model checking, probabilistic methods, real-time, verification
