Advertisement

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
    4. Jin Song Dong, Yuzhang Feng, Yuan Fang Li
      Pages 265-279
  6. Verification

    1. Pham Hong Thai, Dang Van Hung
      Pages 295-309
    2. Florian Kammüller, J. W. Sanders
      Pages 310-324
    3. Enric Rodríguez-Carbonell, Deepak Kapur
      Pages 325-340
  7. Theories of Programming and Programming Languages

    1. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
      Pages 341-355
    2. Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
      Pages 356-371
    3. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
      Pages 372-386
    4. Kaiyu Wan, Vasu Alagar, Joey Paquet
      Pages 387-402
    5. Yisong Wang, Mingyi Zhang
      Pages 403-414
  8. Real-Time and Co-design

    1. Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
      Pages 415-430
    2. Samuel Colin, Georges Mariano, Vincent Poirriez
      Pages 431-446
    3. Andreas Schäfer
      Pages 463-477
    4. Adnan Sherif, He Jifeng, Ana Cavalcanti, Augusto Sampaio
      Pages 478-493
  9. Automata Theory and Logics

    1. Ling Cheung, Nancy Lynch, Roberto Segala, Frits Vaandrager
      Pages 494-510
    2. Salvatore La Torre, Aniello Murano
      Pages 527-542
  10. Tutorials at ICTAC 2004

    1. Zhiming Liu
      Pages 557-560
  11. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications