The following pages link to (Q4219054):
Displaying 23 items.
- Processes in space (Q418828) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- An equational modeling of asynchronous concurrent programming (Q2037432) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- (Q2754161) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- Fair \(\pi\) (Q2866341) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- (Q4520537) (← links)
- The Two-Phase Commitment Protocol in an Extended π-Calculus (Q4917025) (← links)
- A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation (Q5108522) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
