The following pages link to (Q4484493):
Displayed 8 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)
- Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)