Theoretical Aspects of Computing - ICTAC 2004

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

  • Zhiming Liu
  • Keijiro Araki
Conference proceedings ICTAC 2004

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

Table of contents

  1. Front Matter
  2. Invited Speakers

  3. Concurrent and Distributed Systems

    1. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
      Pages 37-51
    2. Marco Antonio Barbosa, Luís Soares Barbosa
      Pages 52-67
    3. Tseren-Onolt Ishdorj, Mihai Ionescu
      Pages 68-83
    4. Neelesh Korade, S. Arun-Kumar
      Pages 99-112
    5. Steve Reeves, David Streader
      Pages 128-139
  4. Model Integration and Theory Unification

    1. Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu
      Pages 154-169
    2. Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
      Pages 170-186
    3. Viet-Anh Vu Tran, Shengchao Qin, Wei Ngan Chin
      Pages 187-203
    4. Yanjun Wen, Ji Wang, Zhichang Qi
      Pages 204-219
  5. Program Reasoning and Testing

    1. Fevzi Belli, Christof J. Budnik
      Pages 220-234
    2. Yuting Chen, Shaoying Liu, Fumiko Nagoya
      Pages 235-249
    3. Li Dan, Bernhard K. Aichernig
      Pages 250-264

About these proceedings

Keywords

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

Editors and affiliations

  • Zhiming Liu
    • 1
  • Keijiro Araki
    • 2
  1. 1.International Institute of Software TechnologyUnited Nations UniversityMacauChina
  2. 2.Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical EngineeringKyushu UniversityFukuokaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/b107116
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25304-4
  • Online ISBN 978-3-540-31862-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology