1. ICTAC 2004:
Guiyang,
China
Zhiming Liu, Keijiro Araki (Eds.):
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3407 Springer 2005, ISBN 3-540-25304-1 BibTeX
Invited Speakers
Concurrent and Distributed Systems
- Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen:
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.
37-51
Electronic Edition (link) BibTeX
- Marco Antonio Barbosa, Luís Soares Barbosa:
Specifying Software Connectors.
52-67
Electronic Edition (link) BibTeX
- Tseren-Onolt Ishdorj, Mihai Ionescu:
Replicative - Distribution Rules in P Systems with Active Membranes.
68-83
Electronic Edition (link) BibTeX
- Ryszard Janicki:
A Generalisation of a Relational Structures Model of Concurrency.
84-98
Electronic Edition (link) BibTeX
- Neelesh Korade, S. Arun-Kumar:
A Logical Characterization of Efficiency Preorders.
99-112
Electronic Edition (link) BibTeX
- Bill Mitchell:
Inherent Causal Orderings of Partial Order Scenarios.
113-127
Electronic Edition (link) BibTeX
- Steve Reeves, David Streader:
Atomic Components.
128-139
Electronic Edition (link) BibTeX
- Junfeng Zhao, Lu Zhang, Ya-Sha Wang, Ying Jiang, Bing Xie:
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition.
140-153
Electronic Edition (link) BibTeX
Model Integration and Theory Unification
- Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu:
A Formal Framework for Ontology Integration Based on a Default Extension to DDL.
154-169
Electronic Edition (link) BibTeX
- Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models.
170-186
Electronic Edition (link) BibTeX
- Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog.
187-203
Electronic Edition (link) BibTeX
- Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Reverse Observation Equivalence Between Labelled State Transition Systems.
204-219
Electronic Edition (link) BibTeX
Program Reasoning and Testing
Verification
Theories of Programming and Programming Languages
- Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Random Generators for Dependent Types.
341-355
Electronic Edition (link) BibTeX
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
A Proof of Weak Termination Providing the Right Way to Terminate.
356-371
Electronic Edition (link) BibTeX
- Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.
372-386
Electronic Edition (link) BibTeX
- Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts.
387-402
Electronic Edition (link) BibTeX
- Yisong Wang, Mingyi Zhang:
Revision Programs with Explicit Negation.
403-414
Electronic Edition (link) BibTeX
Real-Time and Co-design
Automata Theory and Logics
Tutorials
Copyright © Sat May 16 23:21:49 2009
by Michael Ley (ley@uni-trier.de)
