Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing - ICTAC 2007

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Cliff B. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhiming Liu
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jim Woodcock
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: ICTAC 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Domain Theory: Practice and Theories A Discussion of Possible Research Topics

    • Dines Bjørner
    Pages 1-17

  3. Linking Semantic Models

    • He Jifeng
    Pages 18-33

  4. Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

    • Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
    Pages 34-49

  5. Mobile Ambients with Timers and Types

    • Bogdan Aman, Gabriel Ciobanu
    Pages 50-63

  6. Automatic Refinement of Split Binary Semaphore

    • Damián Barsotti, Javier O. Blanco
    Pages 64-78

  7. Stepwise Development of Simulink Models Using the Refinement Calculus Framework

    • Pontus Boström, Lionel Morel, Marina Waldén
    Pages 79-93

  8. Bisimulations for a Distributed Higher Order π-Calculus

    • Zining Cao
    Pages 94-108

  9. A Complete and Compact Propositional Deontic Logic

    • Pablo F. Castro, T. S. E. Maibaum
    Pages 109-123

  10. Verifying Lock-Freedom Using Well-Founded Orders

    • Robert Colvin, Brijesh Dongol
    Pages 124-138

  11. Tree Components Programming: An Application to XML

    • Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo
    Pages 139-153

  12. A Framework for Incorporating Trust into Formal Systems Development

    • Fredrik Degerlund, Kaisa Sere
    Pages 154-168

  13. A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees

    • Rafael del Vado Vírseda
    Pages 169-184

  14. Distributed Time-Asynchronous Automata

    • Cătălin Dima, Ruggero Lanotte
    Pages 185-200

  15. Skolem Machines and Geometric Logic

    • John Fisher, Marc Bezem
    Pages 201-215

  16. A Logical Calculus for Modelling Interferences

    • Christophe Fouqueré
    Pages 216-230

  17. Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

    • Ignacio Fábregas, Miguel Palomino, David de Frutos Escrig
    Pages 231-245

  18. Controlling Process Modularity in Mobile Computing

    • Takashi Kitamura, Huimin Lin
    Pages 246-259

  19. Failures: Their Definition, Modelling and Analysis

    • Brian Randell, Maciej Koutny
    Pages 260-274

  20. CWS: A Timed Service-Oriented Calculus

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

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2007

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation