Pages that link to "Item:Q1194327"
From MaRDI portal
The following pages link to Experimenting with process equivalence (Q1194327):
Displaying 4 items.
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
