Pages that link to "Item:Q835053"

The following pages link to The decidability border of hereditary history preserving bisimilarity (Q835053):

Displaying 3 items.

• Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
• Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
• Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)