Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Dang Hung

    1. College of Technology, Vietnam National University, Hanoi, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Wirsing

    1. Institute of Computer Science, LMU Munich, Munich, Germany

    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 3722)

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

Included in the following conference series:

Conference proceedings info: ICTAC 2005.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (40 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Speakers

    1. A Rewriting Logic Sampler

      • José Meseguer
      Pages 1-28

    2. Codes and Length-Increasing Transitive Binary Relations

      • Do Long Van, Kieu Van Hung, Phan Trung Huy
      Pages 29-48

    3. Languages and Process Calculi for Network Aware Programming – Short Summary -

      • Rocco De Nicola
      Pages 49-52

    4. Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks

      • Reiko Heckel
      Pages 53-69

    5. Component-Based Software Engineering

      • He Jifeng, Xiaoshan Li, Zhiming Liu
      Pages 70-95

  3. Formal Languages

    1. Outfix-Free Regular Languages and Prime Outfix-Free Decomposition

      • Yo-Sub Han, Derick Wood
      Pages 96-109

    2. Solving First Order Formulae of Pseudo-Regular Theory

      • Sébastien Limet, Pierre Pillot
      Pages 110-124

    3. Splicing Array Grammar Systems

      • K. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika
      Pages 125-135

  4. Computer Science Logics

    1. Compositionality of Fixpoint Logic with Chop

      • Naijun Zhan, Jinzhao Wu
      Pages 136-150

    2. An SLD-Resolution Calculus for Basic Serial Multimodal Logics

      • Linh Anh Nguyen
      Pages 151-165

    3. Upside-Down Transformation in SOL/Connection Tableaux and Its Application

      • Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
      Pages 166-179

  5. Program Construction

    1. On the Stability Semantics of Combinational Programs

      • Tran Van Dung
      Pages 180-194

    2. Generating C Code from LOGS Specifications

      • Jianguo Zhou, Yifeng Chen
      Pages 195-210

    3. Formalizing the Debugging Process in Haskell

      • Alberto de la Encina, Luis Llana, Fernando Rubio
      Pages 211-226

    4. Finding Resource Bounds in the Presence of Explicit Deallocation

      • Hoang Truong, Marc Bezem
      Pages 227-241

  6. Real-Time Systems

    1. The Timer Cascade: Functional Modelling and Real Time Calculi

      • Raymond Boute, Andreas Schäfer
      Pages 242-256

    2. A Robust Interpretation of Duration Calculus

      • Martin Fränzle, Michael R. Hansen
      Pages 257-271

    3. Symbolic Model Checking of Finite Precision Timed Automata

      • Rongjie Yan, Guangyuan Li, Zhisong Tang
      Pages 272-287

  7. Concurrency and Refinement

    1. Covarieties of Coalgebras: Comonads and Coequations

      • Ranald Clouston, Robert Goldblatt
      Pages 288-302
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2005

Keywords

About this book

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.

Editors and Affiliations

  • College of Technology, Vietnam National University, Hanoi, Vietnam

    Dang Hung

  • Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation