Pages that link to "Item:Q1194327"

The following pages link to Experimenting with process equivalence (Q1194327):

Displaying 3 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)