Pages that link to "Item:Q510897"
From MaRDI portal
The following pages link to Computing maximal weak and other bisimulations (Q510897):
Displaying 7 items.
- Computing maximal weak and other bisimulations (Q510897) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- (Q4449536) (← links)
- (Q5856411) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)