Pages that link to "Item:Q1901699"
From MaRDI portal
The following pages link to A theory of bisimulation for the \(\pi\)-calculus (Q1901699):
Displaying 50 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Computing maximal weak and other bisimulations (Q510897) (← links)
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- 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)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Fair ambients (Q877172) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Linearity and bisimulation (Q997996) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← 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)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← 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)
- Algebraic theories for name-passing calculi (Q1898459) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- On well-founded and recursive coalgebras (Q2200809) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Verifying quantum communication protocols with ground bisimulation (Q2233434) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
