The following pages link to (Q4484493):
Displaying 9 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- The seal calculus (Q2566220) (← links)
- Types for access control in a calculus of mobile resources (Q2864387) (← links)
- A parametric calculus for mobile open code (Q2864499) (← links)
- Active evaluation contexts for reaction semantics (Q2866316) (← links)