Pages that link to "Item:Q2182667"
From MaRDI portal
The following pages link to Coupled similarity: the first 32 years (Q2182667):
Displaying 8 items.
- A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- (Q5101352) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- A game characterization for contrasimilarity (Q6643746) (← links)
