Pages that link to "Item:Q1060006"
From MaRDI portal
The following pages link to A proof-theoretic characterization of observational equivalence (Q1060006):
Displaying 7 items.
- A refinement calculus for specifications in Hennessy-Milner logic with recursion (Q911261) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- Inductive synthesis of recursive processes from logical properties (Q1854392) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)