Pages that link to "Item:Q5162607"

The following pages link to Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607):

Displaying 3 items.

• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Concurrencies in reversible concurrent calculi (Q2097423) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)