© 2008

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

  • Editors
  • John S. Fitzgerald
  • Anne E. Haxthausen
  • Husnu Yenigun
Conference proceedings ICTAC 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5160)

Table of contents

  1. Front Matter
  2. J. -R. Abrial, Thai Son Hoang
    Pages 1-2
  3. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
    Pages 50-65
  4. Oana Agrigoroaiei, Gabriel Ciobanu
    Pages 66-80
  5. Francien Dechesne, Simona Orzan, Yanjing Wang
    Pages 111-125
  6. Carlo A. Furia, Paola Spoletini
    Pages 126-140
  7. Will Harwood, Ana Cavalcanti, Jim Woodcock
    Pages 141-155
  8. Mohammad Izadi, Marcello M. Bonsangue
    Pages 156-170
  9. Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
    Pages 171-185
  10. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
    Pages 186-200
  11. Mila Majster-Cederbaum, Christoph Minnameier
    Pages 216-227
  12. Y. Mokhtari, Sa’ed Abed, O. Ait Mohamed, S. Tahar, X. Song
    Pages 228-242
  13. Sidney Nogueira, Augusto Sampaio, Alexandre Mota
    Pages 258-273
  14. Gordon J. Pace, Gerardo Schneider
    Pages 274-289

About these proceedings


This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008.

The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.


Automat automata automata theory formal language formal languages model checking modeling programming programming language real-time semantics simulation software architecture theorem proving verification

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment