Theoretical Aspects of Computing – ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

  • Editors
  • Cliff B. Jones
  • Zhiming Liu
  • Jim Woodcock
Conference proceedings ICTAC 2007

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

Table of contents

  1. Front Matter
  2. He Jifeng
    Pages 18-33
  3. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
    Pages 34-49
  4. Bogdan Aman, Gabriel Ciobanu
    Pages 50-63
  5. Damián Barsotti, Javier O. Blanco
    Pages 64-78
  6. Pontus Boström, Lionel Morel, Marina Waldén
    Pages 79-93
  7. Pablo F. Castro, T. S. E. Maibaum
    Pages 109-123
  8. Robert Colvin, Brijesh Dongol
    Pages 124-138
  9. Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo
    Pages 139-153
  10. Fredrik Degerlund, Kaisa Sere
    Pages 154-168
  11. Cătălin Dima, Ruggero Lanotte
    Pages 185-200
  12. John Fisher, Marc Bezem
    Pages 201-215
  13. Christophe Fouqueré
    Pages 216-230
  14. Ignacio Fábregas, Miguel Palomino, David de Frutos Escrig
    Pages 231-245
  15. Takashi Kitamura, Huimin Lin
    Pages 246-259
  16. Brian Randell, Maciej Koutny
    Pages 260-274
  17. COpen image in new windowWS: A Timed Service-Oriented Calculus
    Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 275-290
  18. Martin Leucker, César Sánchez
    Pages 291-305
  19. Jing Li, Huibiao Zhu, Jifeng He
    Pages 306-321
  20. Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
    Pages 322-336
  21. Roussanka Loukanova
    Pages 351-365
  22. Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
    Pages 366-380
  23. Nakamura Masaki, Futatsugi Kokichi
    Pages 381-395
  24. Virginia Niculescu
    Pages 396-409
  25. Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
    Pages 410-424
  26. Thomas Noll, Stefan Rieger
    Pages 425-439
  27. Silvio Ranise, Christelle Scharff
    Pages 440-454
  28. Zhilin Wu
    Pages 467-481
  29. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 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 theorem proving verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-75290-5
  • Online ISBN 978-3-540-75292-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods