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
  15. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
    Pages 290-304
  16. Rudolf Schlatte, Bernhard Aichernig, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen
    Pages 319-333
  17. Jens Schönborn, Marcel Kyas
    Pages 334-348
  18. Simona Orzan, Mohammad Torabi Dashti
    Pages 349-363
  19. Edward Turner, Helen Treharne, Steve Schneider, Neil Evans
    Pages 364-379
  20. Miaomiao Zhang, Dang Van Hung, Zhiming Liu
    Pages 395-409
  21. Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
    Pages 425-439
  22. A. van Dam, B. Ploeger, T. A. C. Willemse
    Pages 440-454
  23. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85761-7
  • Online ISBN 978-3-540-85762-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site