Abstract is missing.
- A Rewriting Logic SamplerJosé Meseguer. 1-28 [doi]
- Codes and Length-Increasing Transitive Binary RelationsDo Long Van, Kieu Van Hung, Phan Trung Huy. 29-48 [doi]
- Languages and Process Calculi for Network Aware Programming - Short Summary -Rocco De Nicola. 49-52 [doi]
- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P NetworksReiko Heckel. 53-69 [doi]
- Component-Based Software EngineeringJifeng He, Xiaoshan Li, Zhiming Liu. 70-95 [doi]
- Outfix-Free Regular Languages and Prime Outfix-Free DecompositionYo-Sub Han, Derick Wood. 96-109 [doi]
- Solving First Order Formulae of Pseudo-Regular TheorySébastien Limet, Pierre Pillot. 110-124 [doi]
- Splicing Array Grammar SystemsK. G. Subramanian, A. Roslin Sagaya Mary, K. S. Dersanambika. 125-135 [doi]
- Compositionality of Fixpoint Logic with ChopNaijun Zhan, Jinzhao Wu. 136-150 [doi]
- An SLD-Resolution Calculus for Basic Serial Multimodal LogicsLinh Anh Nguyen. 151-165 [doi]
- Upside-Down Transformation in SOL/Connection Tableaux and Its ApplicationKoji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima. 166-179 [doi]
- On the Stability Semantics of Combinational ProgramsTran Van Dung. 180-194 [doi]
- Generating C Code from LOGS SpecificationsJianguo Zhou, Yifeng Chen. 195-210 [doi]
- Formalizing the Debugging Process in HaskellAlberto de la Encina, Luis Llana, Fernando Rubio. 211-226 [doi]
- Finding Resource Bounds in the Presence of Explicit DeallocationHoang Truong, Marc Bezem. 227-241 [doi]
- The Timer Cascade: Functional Modelling and Real Time CalculiRaymond T. Boute, Andreas Schäfer. 242-256 [doi]
- A Robust Interpretation of Duration CalculusMartin Fränzle, Michael R. Hansen. 257-271 [doi]
- Symbolic Model Checking of Finite Precision Timed AutomataRongjie Yan, Guangyuan Li, Zhisong Tang. 272-287 [doi]
- Covarieties of Coalgebras: Comonads and CoequationsRanald Clouston, Robert Goldblatt. 288-302 [doi]
- Linking Theories of ConcurrencyJifeng He, C. A. R. Hoare. 303-317 [doi]
- On Cool Congruence Formats for Weak BisimulationsRob J. van Glabbeek. 318-333 [doi]
- Externalized and Internalized Notions of Behavioral RefinementMichel Bidoit, Rolf Hennicker. 334-350 [doi]
- Information Flow Is Linear Refinement of ConstancyFausto Spoto. 351-365 [doi]
- On Typing Information FlowGérard Boudol. 366-380 [doi]
- Representation and Reasoning on RBAC: A Description Logic ApproachChen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin. 381-393 [doi]
- Revisiting Failure Detection and Consensus in Omission Failure EnvironmentsCarole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling. 394-408 [doi]
- Congruences and Bisimulations for Continuous-Time Stochastic LogicErnst-Erich Doberkat. 409-423 [doi]
- A Logic for Quantum Circuits and ProtocolsManas Patra. 424-438 [doi]
- Quantitative Temporal Logic Mechanized in HOLOrieta Celiku. 439-453 [doi]
- Weak Stochastic Bisimulation for Non-markovian ProcessesNatalia López, Manuel Núñez. 454-468 [doi]
- On Refinement of Software ArchitecturesSun Meng, Luís Soares Barbosa, Zhang Naixiao. 469-484 [doi]
- POST: A Case Study for an Incremental Development in rCOSQuan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He. 485-500 [doi]
- Implementing Application-Specific Object-Oriented Theories in HOLKenro Yatake, Toshiaki Aoki, Takuya Katayama. 501-516 [doi]
- Constructing Open Systems via Consistent ComponentsNguyen Truong Thang, Takuya Katayama. 517-531 [doi]
- A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation SystemsJan Friso Groote, Misa Keinänen. 532-545 [doi]
- Using Fairness Constraints in Process-Algebraic VerificationAntti Puhakka. 546-561 [doi]
- Maximum Marking Problems with Accumulative Weight FunctionsIsao Sasano, Mizuhito Ogawa, Zhenjiang Hu. 562-578 [doi]
- Toward an Abstract Computer VirologyGuillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. 579-593 [doi]
- On Superposition-Based Satisfiability Procedures and Their CombinationHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. 594-608 [doi]
- A Summary of the Tutorials at ICTAC 2005Dang Van Hung. 609-612 [doi]