Theoretical Aspects of Computing – ICTAC 2007

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

  • Editors
  • Cliff B. Jones
  • Zhiming Liu
  • Jim Woodcock

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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75292-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75290-5
  • Online ISBN 978-3-540-75292-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book