Pages that link to "Item:Q1350347"
From MaRDI portal
The following pages link to On reduction-based process semantics (Q1350347):
Displayed 39 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Reaction graph (Q1273068) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Linear forwarders (Q2384926) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- Explicit fusions (Q2566040) (← links)
- The seal calculus (Q2566220) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)