The following pages link to Nomadic pict (Q5178879):
Displaying 11 items.
- A principled exploration of coordination models (Q555789) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Formal molecular biology (Q1884864) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Explicit fusions (Q2566040) (← links)
- The seal calculus (Q2566220) (← links)
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
