@incollection{Fiadeiro/05,
AUTHOR = {Fiadeiro, Jos{\'e} Luiz},
TITLE = {Software services: Scientific challenge or industrial hype?},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {1-13},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jifeng-Naiyong/05,
AUTHOR = {Jifeng, He and Naiyong, Jin},
TITLE = {Integrating variants of $DC$},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {14-34},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Leino/05a,
AUTHOR = {Leino, K. Rustan M.},
TITLE = {Challenges in increasing tool support for programming},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {35-35},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lin/05a,
AUTHOR = {Lin, Huimin},
TITLE = {A predicate spatial logic and model checking for mobile processes},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {36-36},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Abraham-Bonsangue-de_Boer-Steffen/05,
AUTHOR = {{\'A}brah{\'a}m, Erika and Bonsangue, Marcello M. and de Boer, Frank S. and Steffen, Martin},
TITLE = {Object connectivity and full abstraction for a concurrent calculus of classes},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {37-51},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Barbosa-Barbosa/05,
AUTHOR = {Barbosa, Marco Antonio and Barbosa, Lu{\'{i}}s Soares},
TITLE = {Specifying software connectors},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {52-67},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ishdorj-Ionescu/05,
AUTHOR = {Ishdorj, Tseren-Onolt and Ionescu, Mihai},
TITLE = {Replicative-distribution rules in $P$ systems with active membranes},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {68-83},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janicki/05,
AUTHOR = {Janicki, Ryszard},
TITLE = {A generalisation of a relational structures model of concurrency},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {84-98},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Korade-Arun-Kumar/05,
AUTHOR = {Korade, Neelesh and Arun-Kumar, S.},
TITLE = {A logical characterization of efficiency preorders},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {99-112},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mitchell/05,
AUTHOR = {Mitchell, Bill},
TITLE = {Inherent causal orderings of partial order scenarios},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {113-127},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reeves-Streader/05,
AUTHOR = {Reeves, Steve and Streader, David},
TITLE = {Atomic components},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {128-139},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=128},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zhao-Zhang-Wang-Jiang-Xie/05,
AUTHOR = {Zhao, Jun-Feng and Zhang, Lu and Wang, Ya-Sha and Jiang, Ying and Xie, Bing},
TITLE = {Towards an optimization-based method for consolidating domain variabilities in domain-specific web services composition},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {140-153},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ma-Wei-Jin-Liu/05,
AUTHOR = {Ma, Yinglong and Wei, Jun and Jin, Beihong and Liu, Shaohua},
TITLE = {A formal framework for ontology integration based on a default extension to DDL},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {154-169},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Yang-Long-Liu-Li/05,
AUTHOR = {Yang, Jing and Long, Quan and Liu, Zhiming and Li, Xiaoshan},
TITLE = {A predicative semantic model for integrating UML models},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {170-186},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tran-Qin-Chin/05,
AUTHOR = {Tran, Viet-Anh Vu and Qin, Shengchao and Chin, Wei Ngan},
TITLE = {An automatic mapping from statecharts to Verilog},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {187-203},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wen-Wang-Qi/05,
AUTHOR = {Wen, Yanjun and Wang, Ji and Qi, Zhichang},
TITLE = {Reverse observation equivalence between labelled state transition systems},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {204-219},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Belli-Budnik/05,
AUTHOR = {Belli, Fevzi and Budnik, Christof J.},
TITLE = {Minimal spanning set for coverage testing of interactive systems},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {220-234},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chen-Liu-Nagoya/05,
AUTHOR = {Chen, Yuting and Liu, Shaoying and Nagoya, Fumiko},
TITLE = {An approach to integration testing based on data flow specifications},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {235-249},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dan-Aichernig/05,
AUTHOR = {Dan, Li and Aichernig, Bernhard K.},
TITLE = {Combining algebraic and model-based test case generation},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {250-264},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dong-Feng-Li/05,
AUTHOR = {Dong, Jin Song and Feng, Yuzhang and Li, Yuan Fang},
TITLE = {Verifying OWL and ORL ontologies in PVS},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {265-279},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Daws/05,
AUTHOR = {Daws, Conrado},
TITLE = {Symbolic and parametric model checking of discrete-time Markov chains},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {280-294},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Thai-Hung/05,
AUTHOR = {Thai, Pham Hong and Hung, Dang Van},
TITLE = {Verifying linear duration constraints of timed automata},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {295-309},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kammuller-Sanders/05,
AUTHOR = {Kamm{\"u}ller, Florian and Sanders, J.W.},
TITLE = {Idempotent relations in Isabelle/HOL},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {310-324},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rodriguez-Carbonell-Kapur/05,
AUTHOR = {Rodr{\'{i}}guez-Carbonell, Enric and Kapur, Deepak},
TITLE = {Program verification using automatic generation of invariants'},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {325-340},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dybjer-Haiyan-Takeyama/05,
AUTHOR = {Dybjer, Peter and Haiyan, Qiao and Takeyama, Makoto},
TITLE = {Random generators for dependent types},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {341-355},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Fissore-Gnaedig-Kirchner/05,
AUTHOR = {Fissore, Olivier and Gnaedig, Isabelle and Kirchner, H{\'e}l{\`e}ne},
TITLE = {A proof of weak termination providing the right way to terminate},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {356-371},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=356},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ranise-Ringeissen-Tran/05,
AUTHOR = {Ranise, Silvio and Ringeissen, Christophe and Tran, Duc-Khanh},
TITLE = {Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {372-386},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=372},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wan-Alagar-Paquet/05,
AUTHOR = {Wan, Kaiyu and Alagar, Vasu and Paquet, Joey},
TITLE = {Real time reactive programming in lucid enriched with contexts},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {387-402},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=387},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wang-Zhang/05,
AUTHOR = {Wang, Yisong and Zhang, Mingyi},
TITLE = {Revision programs with explicit negation},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {403-414},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Aiguier-Beroff-Schobbens/05,
AUTHOR = {Aiguier, Marc and B{\'e}roff, Stefan and Schobbens, Pierre-Yves},
TITLE = {An algebraic approach for codesign},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {415-430},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Colin-Mariano-Poirriez/05,
AUTHOR = {Colin, Samuel and Mariano, Georges and Poirriez, Vincent},
TITLE = {Duration calculus: A real-time semantic for $B$},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {431-446},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=431},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Niaouris/05,
AUTHOR = {Niaouris, Apostolos},
TITLE = {An algebra of Petri nets with arc-based time restrictions},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {447-462},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=447},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schafer/05,
AUTHOR = {Sch{\"a}fer, Andreas},
TITLE = {A calculus for shapes in time and space},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {463-477},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sherif-Jifeng-Cavalcanti-Sampaio/05,
AUTHOR = {Sherif, Adnan and Jifeng, He and Cavalcanti, Ana and Sampaio, Augusto},
TITLE = {A framework for specification and validation of real-time systems using circus actions},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {478-493},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=478},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cheung-Lynch-Segala-Vaandrager/05,
AUTHOR = {Cheung, Ling and Lynch, Nancy and Segala, Roberto and Vaandrager, Frits},
TITLE = {Switched probabilistic I/0 automata},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {494-510},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Krishnan/05,
AUTHOR = {Krishnan, Padmanabhan},
TITLE = {Decomposing controllers into non-conflicting distributed controllers},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {511-526},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{La_Torre-Murano/05,
AUTHOR = {La Torre, Salvatore and Murano, Aniello},
TITLE = {Reasoning about co-B{\"u}chi tree automata},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {527-542},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=527},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Viswanathan-Kim/05,
AUTHOR = {Viswanathan, Mahesh and Kim, Moonzoo},
TITLE = {Foundations for the run-time monitoring of reactive systems --- Fundamentals of the MaC language},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {543-556},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=543},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Liu/05b,
AUTHOR = {Liu, Zhiming},
TITLE = {A summary of the tutorials at ITAC 2004},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {557-560},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=557},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}