Abstract is missing.
- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group CreativityDavid Borgo. 1-24 [doi]
- My Friend Joseph GoguenRod M. Burstall. 25-30 [doi]
- Metalogic, Qualia, and Identity on Neptune s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. DelanyD. Fox Harrell. 31-49 [doi]
- Quantum InstitutionsCarlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas. 50-64 [doi]
- Jewels of Institution-Independent Model TheoryRazvan Diaconescu. 65-98 [doi]
- Semantic Web Languages - Towards an Institutional PerspectiveDorel Lucanu, Yuan-Fang Li, Jin Song Dong. 99-123 [doi]
- Institutional 2-cells and Grothendieck InstitutionsTill Mossakowski. 124-149 [doi]
- Some Varieties of Equational LogicGordon D. Plotkin. 150-156 [doi]
- Complete Categorical Deduction for Satisfaction as InjectivityGrigore Rosu. 157-172 [doi]
- Extension Morphisms for CommUnityNazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar. 173-193 [doi]
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical ApplicationOana Andrei, Liliana Ibanescu, Hélène Kirchner. 194-215 [doi]
- From OBJ to ML to CoqJacek Chrzaszcz, Jean-Pierre Jouannaud. 216-234 [doi]
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net TransformationsHartmut Ehrig, Ulrike Prange. 235-251 [doi]
- From OBJ to Maude and BeyondJosé Meseguer. 252-280 [doi]
- Constructive Action Semantics in OBJPeter D. Mosses. 281-295 [doi]
- Horizontal Composability RevisitedDonald Sannella, Andrzej Tarlecki. 296-316 [doi]
- Composition by Colimit and Formal Software DevelopmentDouglas R. Smith. 317-332 [doi]
- Proving Behavioral Refinements of COL-specificationsMichel Bidoit, Rolf Hennicker. 333-354 [doi]
- The Reactive Engine for Modular TransducersGérard P. Huet, Benoît Razet. 355-374 [doi]
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and LanguagesBart Jacobs. 375-404 [doi]
- Sheaves and Structures of Transition SystemsGrant Malcolm. 405-419 [doi]
- Uniform Functors on SetsLawrence S. Moss. 420-448 [doi]
- An Algebraic Approach to Regular SetsHorst Reichel. 449-458 [doi]
- Elementary Algebraic Specifications of the Rational Complex NumbersJan A. Bergstra, John V. Tucker. 459-475 [doi]
- From Chaos to UndefinednessManfred Broy. 476-496 [doi]
- Completion Is an Instance of Abstract Canonical System InferenceGuillaume Burel, Claude Kirchner. 497-520 [doi]
- Eliminating Dependent Pattern MatchingHealfdene Goguen, Conor McBride, James McKinna. 521-540 [doi]
- Iterative Lexicographic Path OrdersJan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer. 541-554 [doi]
- A Functorial Framework for Constraint Normal Logic ProgrammingPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. 555-577 [doi]
- A Stochastic Theory of Black-Box Software TestingKarl Meinke. 578-595 [doi]
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. 596-615 [doi]
- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical InferencesMitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya. 616-642 [doi]