Theoretical aspects of computing -- ICTAC 2004. First international colloquium, Guiyang, China, September 20--24, 2004. Revised selected papers. (Q2388727)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Jifeng, He; Naiyong, Jin}, Integrating variants of DC, 14-34 [Zbl 1109.68067] \textit{Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin}, Object connectivity and full abstraction for a concurrent calculus of classes, 37-51 [Zbl 1108.68538] \textit{Barbosa, Marco Antonio; Barbosa, Luís Soares}, Specifying software connectors, 52-67 [Zbl 1108.68489] \textit{Ishdorj, Tseren-Onolt; Ionescu, Mihai}, Replicative-distribution rules in P systems with active membranes, 68-83 [Zbl 1108.68476] \textit{Janicki, Ryszard}, A generalisation of a relational structures model of concurrency, 84-98 [Zbl 1109.68073] \textit{Korade, Neelesh; Arun-Kumar, S.}, A logical characterization of efficiency preorders, 99-112 [Zbl 1109.68074] \textit{Mitchell, Bill}, Inherent causal orderings of partial order scenarios, 113-127 [Zbl 1108.68515] \textit{Reeves, Steve; Streader, David}, Atomic components, 128-139 [Zbl 1108.68543] \textit{Zhao, Jun-Feng; Zhang, Lu; Wang, Ya-Sha; Jiang, Ying; Xie, Bing}, Towards an optimization-based method for consolidating domain variabilities in domain-specific web services composition, 140-153 [Zbl 1108.68324] \textit{Ma, Yinglong; Wei, Jun; Jin, Beihong; Liu, Shaohua}, A formal framework for ontology integration based on a default extension to DDL, 154-169 [Zbl 1108.68596] \textit{Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan}, A predicative semantic model for integrating UML models, 170-186 [Zbl 1108.68434] \textit{Tran, Viet-Anh Vu; Qin, Shengchao; Chin, Wei Ngan}, An automatic mapping from statecharts to Verilog, 187-203 [Zbl 1108.68526] \textit{Wen, Yanjun; Wang, Ji; Qi, Zhichang}, Reverse observation equivalence between labelled state transition systems, 204-219 [Zbl 1109.68078] \textit{Belli, Fevzi; Budnik, Christof J.}, Minimal spanning set for coverage testing of interactive systems, 220-234 [Zbl 1108.68417] \textit{Chen, Yuting; Liu, Shaoying; Nagoya, Fumiko}, An approach to integration testing based on data flow specifications, 235-249 [Zbl 1108.68420] \textit{Dan, Li; Aichernig, Bernhard K.}, Combining algebraic and model-based test case generation, 250-264 [Zbl 1108.68423] \textit{Dong, Jin Song; Feng, Yuzhang; Li, Yuan Fang}, Verifying OWL and ORL ontologies in PVS, 265-279 [Zbl 1108.68587] \textit{Daws, Conrado}, Symbolic and parametric model checking of discrete-time Markov chains, 280-294 [Zbl 1108.68497] \textit{Thai, Pham Hong; Dang Van Hung}, Verifying linear duration constraints of timed automata, 295-309 [Zbl 1109.68070] \textit{Kammüller, Florian; Sanders, J. W.}, Idempotent relations in Isabelle/HOL, 310-324 [Zbl 1109.68096] \textit{Rodríguez-Carbonell, Enric; Kapur, Deepak}, Program verification using automatic generation of invariants., 325-340 [Zbl 1108.68520] \textit{Dybjer, Peter; Haiyan, Qiao; Takeyama, Makoto}, Random generators for dependent types, 341-355 [Zbl 1108.68498] \textit{Fissore, Olivier; Gnaedig, Isabelle; Kirchner, Hélène}, A proof of weak termination providing the right way to terminate, 356-371 [Zbl 1108.68500] \textit{Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh}, Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn, 372-386 [Zbl 1108.68574] \textit{Wan, Kaiyu; Alagar, Vasu; Paquet, Joey}, Real time reactive programming in Lucid enriched with contexts, 387-402 [Zbl 1108.68357] \textit{Wang, Yisong; Zhang, Mingyi}, Revision programs with explicit negation, 403-414 [Zbl 1108.68449] \textit{Aiguier, Marc; Béroff, Stefan; Schobbens, Pierre-Yves}, An algebraic approach for codesign, 415-430 [Zbl 1108.68483] \textit{Colin, Samuel; Mariano, Georges; Poirriez, Vincent}, Duration calculus: A real-time semantic for B., 431-446 [Zbl 1108.68481] \textit{Niaouris, Apostolos}, An algebra of Petri nets with arc-based time restrictions, 447-462 [Zbl 1109.68076] \textit{Schäfer, Andreas}, A calculus for shapes in time and space, 463-477 [Zbl 1109.68068] \textit{Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto}, A framework for specification and validation of real-time systems using Circus actions, 478-493 [Zbl 1108.68522] \textit{Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits}, Switched probabilistic I/O automata, 494-510 [Zbl 1109.68053] \textit{Krishnan, Padmanabhan}, Decomposing controllers into non-conflicting distributed controllers, 511-526 [Zbl 1108.68480] \textit{La Torre, Salvatore; Murano, Aniello}, Reasoning about co-Büchi tree automata, 527-542 [Zbl 1109.68057] \textit{Viswanathan, Mahesh; Kim, Moonzoo}, Foundations for the run-time monitoring of reactive systems -- fundamentals of the MaC language, 543-556 [Zbl 1108.68527]