The following pages link to A hidden agenda (Q1575735):
Displaying 42 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Model-based specification (Q1607085) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- A note on undercover relation (Q2265818) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Integrating observational and computational features in the specification of state-based, dynamical systems (Q2747940) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Rewriting-based verification of authentication protocols (Q2851055) (← links)
- Expander2: program verification between interaction and automation (Q2873787) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- A parameterization process: from a functorial point of view (Q2909193) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- Action Algebras and Model Algebras in Denotational Semantics (Q3184749) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- Bisimulation and Hidden Algebra (Q4256320) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
- Coalgebraic description of generalised binary methods (Q5756977) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
