The following pages link to Bisimulation and effectiveness (Q1118393):
Displaying 6 items.
- Reactive Turing machines (Q393091) (← links)
- Undecidability of bisimilarity for Petri nets and some related problems (Q672326) (← links)
- Deciding orthogonal bisimulation (Q2461535) (← links)
- Reactive Turing Machines (Q3088297) (← links)
- Bisimulation can't be traced (Q4369863) (← links)
- (Q4619873) (← links)