Pages that link to "Item:Q5162606"

The following pages link to Forward-Reverse Observational Equivalences in CCSK (Q5162606):

Displaying 5 items.

• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Concurrencies in reversible concurrent calculi (Q2097423) (← links)
• The reversible temporal process language (Q2165209) (← links)
• revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)