![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1st ICTAC 2004: Guiyang, China
- Zhiming Liu, Keijiro Araki:
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
Invited Speakers
- José Luiz Fiadeiro:
Software Services: Scientific Challenge or Industrial Hype?. 1-13 - Jifeng He, Naiyong Jin:
Integrating Variants of DC. 14-34 - K. Rustan M. Leino:
Challenges in Increasing Tool Support for Programming. 35-35 - Huimin Lin:
A Predicate Spatial Logic and Model Checking for Mobile Processes. 36-36
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 - Marco Antonio Barbosa
, Luís Soares Barbosa
:
Specifying Software Connectors. 52-67 - Tseren-Onolt Ishdorj
, Mihai Ionescu:
Replicative - Distribution Rules in P Systems with Active Membranes. 68-83 - Ryszard Janicki:
A Generalisation of a Relational Structures Model of Concurrency. 84-98 - Neelesh Korade, S. Arun-Kumar:
A Logical Characterization of Efficiency Preorders. 99-112 - Bill Mitchell:
Inherent Causal Orderings of Partial Order Scenarios. 113-127 - Steve Reeves
, David Streader:
Atomic Components. 128-139 - Junfeng Zhao, Lu Zhang, Yasha Wang, Ying Jiang, Bing Xie:
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. 140-153
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 - Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models. 170-186 - Viet-Anh Vu Tran, Shengchao Qin
, Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog. 187-203 - Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Reverse Observation Equivalence Between Labelled State Transition Systems. 204-219
Program Reasoning and Testing
- Fevzi Belli, Christof J. Budnik:
Minimal Spanning Set for Coverage Testing of Interactive Systems. 220-234 - Yuting Chen, Shaoying Liu, Fumiko Nagoya:
An Approach to Integration Testing Based on Data Flow Specifications. 235-249 - Li Dan, Bernhard K. Aichernig:
Combining Algebraic and Model-Based Test Case Generation. 250-264 - Jin Song Dong, Yuzhang Feng, Yuan-Fang Li:
Verifying OWL and ORL Ontologies in PVS. 265-279
Verification
- Conrado Daws:
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. 280-294 - Pham Hong Thai, Dang Van Hung:
Verifying Linear Duration Constraints of Timed Automata. 295-309 - Florian Kammüller, Jeff W. Sanders:
Idempotent Relations in Isabelle/HOL. 310-324 - Enric Rodríguez-Carbonell
, Deepak Kapur:
Program Verification Using Automatic Generation of Invariants. 325-340
Theories of Programming and Programming Languages
- Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Random Generators for Dependent Types. 341-355 - Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
A Proof of Weak Termination Providing the Right Way to Terminate. 356-371 - Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. 372-386 - Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts. 387-402 - Yisong Wang, Mingyi Zhang:
Revision Programs with Explicit Negation. 403-414
Real-Time and Co-design
- Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
:
An Algebraic Approach for Codesign. 415-430 - Samuel Colin, Georges Mariano, Vincent Poirriez
:
Duration Calculus: A Real-Time Semantic for B. 431-446 - Apostolos Niaouris:
An Algebra of Petri Nets with Arc-Based Time Restrictions. 447-462 - Andreas Schäfer:
A Calculus for Shapes in Time and Space. 463-477 - Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. 478-493
Automata Theory and Logics
- Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Switched Probabilistic I/O Automata. 494-510 - Padmanabhan Krishnan:
Decomposing Controllers into Non-conflicting Distributed Controllers. 511-526 - Salvatore La Torre, Aniello Murano:
Reasoning About Co-Büchi Tree Automata. 527-542 - Mahesh Viswanathan, Moonzoo Kim:
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. 543-556
Tutorials
- Zhiming Liu:
A Summary of the Tutorials at ICTAC 2004. 557-560
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.