Abstract is missing.
- Software Services: Scientific Challenge or Industrial Hype?José Luiz Fiadeiro. 1-13 [doi]
- Integrating Variants of DCJifeng He, Naiyong Jin. 14-34 [doi]
- Challenges in Increasing Tool Support for ProgrammingK. Rustan M. Leino. 35-35 [doi]
- A Predicate Spatial Logic and Model Checking for Mobile ProcessesHuimin Lin. 36-36 [doi]
- Object Connectivity and Full Abstraction for a Concurrent Calculus of ClassesErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. 37-51 [doi]
- Specifying Software ConnectorsMarco Antonio Barbosa, Luís Soares Barbosa. 52-67 [doi]
- Replicative - Distribution Rules in P Systems with Active MembranesTseren-Onolt Ishdorj, Mihai Ionescu. 68-83 [doi]
- A Generalisation of a Relational Structures Model of ConcurrencyRyszard Janicki. 84-98 [doi]
- A Logical Characterization of Efficiency PreordersNeelesh Korade, S. Arun-Kumar. 99-112 [doi]
- Inherent Causal Orderings of Partial Order ScenariosBill Mitchell. 113-127 [doi]
- Atomic ComponentsSteve Reeves, David Streader. 128-139 [doi]
- Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services CompositionJunfeng Zhao, Lu Zhang, Ya-Sha Wang, Ying Jiang, Bing Xie. 140-153 [doi]
- A Formal Framework for Ontology Integration Based on a Default Extension to DDLYinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu. 154-169 [doi]
- A Predicative Semantic Model for Integrating UML ModelsJing Yang, Quan Long, Zhiming Liu, Xiaoshan Li. 170-186 [doi]
- An Automatic Mapping from Statecharts to VerilogViet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin. 187-203 [doi]
- Reverse Observation Equivalence Between Labelled State Transition Systems204-219 [doi]
- Minimal Spanning Set for Coverage Testing of Interactive SystemsFevzi Belli, Christof J. Budnik. 220-234 [doi]
- An Approach to Integration Testing Based on Data Flow SpecificationsYuting Chen, Shaoying Liu, Fumiko Nagoya. 235-249 [doi]
- Combining Algebraic and Model-Based Test Case GenerationLi Dan, Bernhard K. Aichernig. 250-264 [doi]
- Verifying OWL and ORL Ontologies in PVSJin Song Dong, Yuzhang Feng, Yuan-Fang Li. 265-279 [doi]
- Symbolic and Parametric Model Checking of Discrete-Time Markov ChainsConrado Daws. 280-294 [doi]
- Verifying Linear Duration Constraints of Timed AutomataPham Hong Thai, Dang Van Hung. 295-309 [doi]
- Idempotent Relations in Isabelle/HOLFlorian Kammüller, Jeff W. Sanders. 310-324 [doi]
- Program Verification Using Automatic Generation of InvariantsEnric Rodríguez-Carbonell, Deepak Kapur. 325-340 [doi]
- Random Generators for Dependent TypesPeter Dybjer, Qiao Haiyan, Makoto Takeyama. 341-355 [doi]
- A Proof of Weak Termination Providing the Right Way to TerminateOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. 356-371 [doi]
- Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a NewbornSilvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. 372-386 [doi]
- Real Time Reactive Programming in Lucid Enriched with ContextsKaiyu Wan, Vasu S. Alagar, Joey Paquet. 387-402 [doi]
- Revision Programs with Explicit NegationYisong Wang, Mingyi Zhang. 403-414 [doi]
- An Algebraic Approach for CodesignMarc Aiguier, Stefan Béroff, Pierre Yves Schobbens. 415-430 [doi]
- Duration Calculus: A Real-Time Semantic for BSamuel Colin, Georges Mariano, Vincent Poirriez. 431-446 [doi]
- An Algebra of Petri Nets with Arc-Based Time RestrictionsApostolos Niaouris. 447-462 [doi]
- A Calculus for Shapes in Time and SpaceAndreas Schäfer. 463-477 [doi]
- A Framework for Specification and Validation of Real-Time Systems Using ::::Circus:::: ActionsAdnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio. 478-493 [doi]
- Switched Probabilistic I/O AutomataLing Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager. 494-510 [doi]
- Decomposing Controllers into Non-conflicting Distributed ControllersPadmanabhan Krishnan. 511-526 [doi]
- Reasoning About Co-Büchi Tree AutomataSalvatore La Torre, Aniello Murano. 527-542 [doi]
- Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC LanguageMahesh Viswanathan, Moonzoo Kim. 543-556 [doi]
- A Summary of the Tutorials at ICTAC 2004Zhiming Liu. 557-560 [doi]