Pages that link to "Item:Q1901699"
From MaRDI portal
The following pages link to A theory of bisimulation for the \(\pi\)-calculus (Q1901699):
Displayed 35 items.
- On quasi-open bisimulation (Q557789) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- From CML to its process algebra (Q672132) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- Fair ambients (Q877172) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- A complexity analysis of bisimilarity for value-passing processes (Q1575255) (← links)
- \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
- A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Explicit fusions (Q2566040) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)