Skip to main content
  • Conference proceedings
  • © 2007

Theoretical Aspects of Computing - ICTAC 2007

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICTAC: International Colloquium on Theoretical Aspects of Computing

Conference proceedings info: ICTAC 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Linking Semantic Models

    • He Jifeng
    Pages 18-33
  3. Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

    • Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
    Pages 34-49
  4. Mobile Ambients with Timers and Types

    • Bogdan Aman, Gabriel Ciobanu
    Pages 50-63
  5. Automatic Refinement of Split Binary Semaphore

    • Damián Barsotti, Javier O. Blanco
    Pages 64-78
  6. Stepwise Development of Simulink Models Using the Refinement Calculus Framework

    • Pontus Boström, Lionel Morel, Marina Waldén
    Pages 79-93
  7. A Complete and Compact Propositional Deontic Logic

    • Pablo F. Castro, T. S. E. Maibaum
    Pages 109-123
  8. Verifying Lock-Freedom Using Well-Founded Orders

    • Robert Colvin, Brijesh Dongol
    Pages 124-138
  9. Tree Components Programming: An Application to XML

    • Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo
    Pages 139-153
  10. A Framework for Incorporating Trust into Formal Systems Development

    • Fredrik Degerlund, Kaisa Sere
    Pages 154-168
  11. Distributed Time-Asynchronous Automata

    • Cătălin Dima, Ruggero Lanotte
    Pages 185-200
  12. Skolem Machines and Geometric Logic

    • John Fisher, Marc Bezem
    Pages 201-215
  13. A Logical Calculus for Modelling Interferences

    • Christophe Fouqueré
    Pages 216-230
  14. Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

    • Ignacio Fábregas, Miguel Palomino, David de Frutos Escrig
    Pages 231-245
  15. Controlling Process Modularity in Mobile Computing

    • Takashi Kitamura, Huimin Lin
    Pages 246-259
  16. Failures: Their Definition, Modelling and Analysis

    • Brian Randell, Maciej Koutny
    Pages 260-274
  17. CWS: A Timed Service-Oriented Calculus

    • Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 275-290

Other Volumes

  1. Theoretical Aspects of Computing – ICTAC 2007

About this book

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions