The following pages link to (Q3145858):
Displaying 12 items.
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) (Q2942772) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- (Q4972730) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Bisimulation and Co-induction: Some Problems (Q5262977) (← links)
- Clocked lambda calculus (Q5269007) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)