Abstract is missing.
- Domain Endurants - An Analysis and Description Process ModelDines Bjørner. 1-34 [doi]
- On Formal Definition and Analysis of Formal Verification ProcessesLeon J. Osterweil. 35-52 [doi]
- CafeOBJ TracesRazvan Diaconescu. 53-65 [doi]
- Parchments for CafeOBJ LogicsTill Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki. 66-91 [doi]
- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ SpecificationsMasaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. 92-109 [doi]
- The Versatile Synchronous ObserverJohn Rushby. 110-128 [doi]
- Model Checking TLR* Guarantee Formulas on Infinite SystemsÓscar Martín, Alberto Verdejo, Narciso Martí-Oliet. 129-150 [doi]
- Towards a Combination of CafeOBJ and PATYongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun 0001. 151-170 [doi]
- Negative Variables and the Essence of Object-Oriented ProgrammingBertrand Meyer, Alexander Kogtenkov. 171-187 [doi]
- Reasoning (on) Service Component Ensembles in Rewriting LogicLenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing. 188-211 [doi]
- Dynamic Validation of Maude Prototypes of UML ModelsFrancisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez. 212-228 [doi]
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña. 229-255 [doi]
- The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar. 256-275 [doi]
- Synthesis of Infinite-State Abstractions and Their Use for Software ValidationCarlo Ghezzi, Andrea Mocci, Mario Sangiorgio. 276-295 [doi]
- Behavioral Rewrite Systems and Behavioral ProductivityGrigore Rosu, Dorel Lucanu. 296-314 [doi]
- Functional Logic Programming in MaudeSantiago Escobar. 315-336 [doi]
- Confluence: The Unifying, Expressive Power of LocalityJiaxiang Liu, Jean-Pierre Jouannaud. 337-358 [doi]
- Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble ArchitecturesRolf Hennicker, Annabelle Klarl. 359-381 [doi]
- Behaviour, Interaction and DynamicsRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. 382-401 [doi]
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed ComputingMark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott. 402-433 [doi]
- Extending Operation Semantics to Enhance the Applicability of Formal RefinementShaoying Liu. 434-440 [doi]
- An Institution for Imperative RSL SpecificationsAnne Elisabeth Haxthausen. 441-464 [doi]
- 8k-ary Grid Graph Models of Tabular FormsTakeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida. 465-477 [doi]
- Everlasting Challenges with the OBJ Language FamilyShin Nakajima. 478-493 [doi]
- Formal Modeling and Analysis of Google's Megastore in Real-Time MaudeJon Grov, Peter Csaba Ölveczky. 494-519 [doi]
- EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor NetworksAnh-Dung Phan, Michael R. Hansen, Jan Madsen. 520-540 [doi]
- Some Engineering Applications of the OTS/CafeOBJ MethodPetros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra. 541-559 [doi]
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ MethodMin Zhang 0002, Kazuhiro Ogata, Kokichi Futatsugi. 560-577 [doi]
- On Automation of OTS/CafeOBJ MethodDaniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi. 578-602 [doi]
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer ToolCamilo Rocha, José Meseguer. 603-629 [doi]
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSsKazuhiro Ogata, Kokichi Futatsugi. 630-656 [doi]