scientific article
From MaRDI portal
Publication:2785427
zbMath0868.68077MaRDI QIDQ2785427
Jacques Loeckx, Markus Wolf, Hans-Dieter Ehrich
Publication date: 23 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
Observational logic, constructor-based logic, and their duality., Fuzzy terms, My ADT Shrine, Constructor-based observational logic, A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW, Cones and foci: A mechanical framework for protocol verification, The intersection of algebra and coalgebra, Model checking a cache coherence protocol of a Java DSM implementation, A survey on the categorical term construction with applications, Monadic extensions of institutions, Analysis of a distributed system for lifting trucks., Symmetric transrationals: the data type and the algorithmic degree of its equational theory, The wheel of rational numbers as an abstract data type, Verification of mobile ad hoc networks: an algebraic approach, On quasivarieties and varieties as categories, Morita equivalence of many-sorted algebraic theories, Experience of building an architecture-based generator using GenVoca for distributed systems, MBase: Representing knowledge and context for the integration of mathematical software systems, Verifying an infinite systolic algorithm using third-order equational methods, Object oriented institutions to specify symbolic computation systems, How accessible are categories of algebras?, A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas, Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal, Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems, CASL: the Common Algebraic Specification Language.