Skip to main content
  • Conference proceedings
  • © 2005

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

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 2004.

Buying options

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

  1. Front Matter

  2. Invited Speakers

    1. Integrating Variants of DC

      • He Jifeng, Jin Naiyong
      Pages 14-34
  3. Concurrent and Distributed Systems

    1. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

      • Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
      Pages 37-51
    2. Specifying Software Connectors

      • Marco Antonio Barbosa, Luís Soares Barbosa
      Pages 52-67
    3. Replicative – Distribution Rules in P Systems with Active Membranes

      • Tseren-Onolt Ishdorj, Mihai Ionescu
      Pages 68-83
    4. A Logical Characterization of Efficiency Preorders

      • Neelesh Korade, S. Arun-Kumar
      Pages 99-112
    5. Atomic Components

      • Steve Reeves, David Streader
      Pages 128-139
  4. Model Integration and Theory Unification

    1. A Formal Framework for Ontology Integration Based on a Default Extension to DDL

      • Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu
      Pages 154-169
    2. A Predicative Semantic Model for Integrating UML Models

      • Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
      Pages 170-186
    3. An Automatic Mapping from Statecharts to Verilog

      • Viet-Anh Vu Tran, Shengchao Qin, Wei Ngan Chin
      Pages 187-203
    4. Reverse Observation Equivalence Between Labelled State Transition Systems

      • Yanjun Wen, Ji Wang, Zhichang Qi
      Pages 204-219
  5. Program Reasoning and Testing

    1. Minimal Spanning Set for Coverage Testing of Interactive Systems

      • Fevzi Belli, Christof J. Budnik
      Pages 220-234
    2. An Approach to Integration Testing Based on Data Flow Specifications

      • Yuting Chen, Shaoying Liu, Fumiko Nagoya
      Pages 235-249
    3. Combining Algebraic and Model-Based Test Case Generation

      • Li Dan, Bernhard K. Aichernig
      Pages 250-264

Other Volumes

  1. Theoretical Aspects of Computing - ICTAC 2004

Keywords

  • Automat
  • D programming language
  • automata
  • automata theory
  • distributed systems
  • programming
  • programming language
  • verification

Editors and Affiliations

  • International Institute of Software Technology, United Nations University, Macau, China

    Zhiming Liu

  • Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan

    Keijiro Araki

Bibliographic Information

Buying options

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