The following pages link to (Q3773301):
Displayed 17 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Equational type logic (Q752689) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Universal algebras (Q1173984) (← links)
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- CSP, partial automata, and coalgebras. (Q1603814) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- On an essentially algebraic theory for locally presentable categories (Q2502182) (← links)
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS (Q3356347) (← links)