The following pages link to (Q3396569):
Displaying 8 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence (Q3498448) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
