The following pages link to (Q4219055):
Displaying 30 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- A functional presentation of pi calculus (Q865929) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- On modelling mobility (Q1575151) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Linear forwarders (Q2384926) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- On the expressive power of polyadic synchronisation in \(\pi \)-calculus (Q2842599) (← links)
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0 (Q2851059) (← links)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- Linked data privacy (Q2973246) (← links)
- (Q4219054) (← links)
- (Q4520537) (← links)
- On the Expressiveness of Pure Mobile Ambients (Q4917029) (← links)
- (Q5216156) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)
- A model of actors and grey failures (Q6137831) (← links)
