© 2009

Theoretical Aspects of Computing - ICTAC 2009

6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

  • Martin Leucker
  • Carroll Morgan
Conference proceedings ICTAC 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Full Research Papers

    1. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
      Pages 80-95
    2. Andreas Bauer, Rajeev Goré, Alwen Tiu
      Pages 96-111
    3. Nikola Beneš, Jan Křetínský, Kim G. Larsen, Jiří Srba
      Pages 112-126
    4. J. A. Bergstra, C. A. Middelburg
      Pages 127-139
    5. Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
      Pages 155-169
    6. Volker Diekert, Steffen Kopecki, Victor Mitrana
      Pages 170-184
    7. Zoltán Ésik, Szabolcs Iván
      Pages 185-199
    8. Stephen Fenech, Gordon J. Pace, Gerardo Schneider
      Pages 200-214
    9. Dario Fischbein, Victor Braberman, Sebastian Uchitel
      Pages 215-230
    10. Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
      Pages 277-291
    11. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
      Pages 292-306

About these proceedings


This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009 held in Kuala Lumpur, Malaysia, in August 2009.

The 17 revised full papers and 3 revised papers presented with 4 invited lectures were carefully reviewed and selected from 81 submissions. The papers address all theoretical aspects and methodological issues of computing, such as software specification, refinement, verification and testing, model checking and theorem proving, software architectures, coordination and feature interaction, integration of theories, formal and engineering methods and tools, models of concurrency, security, and mobility, parallel, distributed, and internet-based (grid) computing, real-time, embedded and hybrid systems, automata theory and formal languages, principles and semantics of languages, logics and their applications, type and category theory in computer science, case studies, theories, tools and experiments of verified systems, service-oriented architectures, as well as domain modelling and domain-specific technology.


Action automata automata theory computer computer science formal language formal languages model checking modeling software architecture testing verification

Editors and affiliations

  • Martin Leucker
    • 1
  • Carroll Morgan
    • 2
  1. 1.Institut für InformatikTU MünchenGarchingGermany
  2. 2.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia

Bibliographic information

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