## Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected PapersThis volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20–24 September 2004. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). Its aim is to bring together pr- titioners and researchers from academia, industry, and government to present research results, and exchange experience, ideas, and solutions for their pr- lems in theoretical aspects of computing. The geographic focus of the ICTAC events is on developing countries to help to strengthen them in their research, teaching, and development in computer science and engineering, to encourage research cooperation among developing countries, and to improve the links - tween developing countries and industrial countries. The Program Committee of ICTAC 2004 received 111 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three r- ereesworkinginrelevant?elds,butbytwoinafewcases.Borderlinepaperswere further discussed during an online meeting of the Program Committee. Thir- fourpaperswereacceptedbasedonoriginality,technicalsoundness,presentation andrelevancetosoftwareengineeringandformalmethods.Wesincerelythankall the authors who submitted their work for consideration. We thank the Program Committee members and the other referees for their great e?ort and professional workinthereviewingandselectingprocess.Theirnamesarelistedonthefoll- ing pages. In addition to the contributed papers, the proceedings also includes contributions from the invited speakers: Josī e Luiz Fiadeiro, He Jifeng, Huimin Lin and Rustan Leino. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

abstract action algebraic algorithm applied approach automata automaton axioms BĻuchi behaviour bisimulation checking component composition Computer Science concurrent connector constraints construct context controller corresponding data ﬂow default deﬁned deﬁnition denoted Description Logics diﬀerent distributed domain Duration Calculus eﬀect equivalence evaluation example execution extended canonizer extended revision ﬁgure ﬁnite ﬁrst ﬁxpoints formal formula function given I/O schedulers ICTAC idempotent induction inﬁnite input instantiation integration International invariant Isabelle/HOL label language Lemma linear LNCS logic program membrane method model checking node notation object observation ontology operator paper partial order polynomial predicate probabilistic problem proof properties prove reachability real-time recursive reﬁnement regular expression relation result rewriting rules satisﬁes satisfy Section Semantic Web semantics sequence diagram speciﬁcation Springer-Verlag statechart step structure term termination Theorem theory tion transition variables veriﬁcation Verilog VHDL Web services