The following pages link to (Q2785427):
Displaying 24 items.
- Fuzzy terms (Q277347) (← links)
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Experience of building an architecture-based generator using GenVoca for distributed systems (Q983190) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- A survey on the categorical term construction with applications (Q1677940) (← links)
- On quasivarieties and varieties as categories (Q1770598) (← links)
- How accessible are categories of algebras? (Q1812029) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- The wheel of rational numbers as an abstract data type (Q2237335) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Morita equivalence of many-sorted algebraic theories (Q2491817) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas (Q2841241) (← links)
- My ADT Shrine (Q2890319) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
