Pages that link to "Item:Q5162607"
From MaRDI portal
The following pages link to Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607):
Displaying 6 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Paraconsistent arithmetic with a local consistency operator and global selfreference (Q2863910) (← links)
- (Q4449170) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)