Pages that link to "Item:Q1898467"

The following pages link to Testing equivalence for mobile processes (Q1898467):

Displaying 25 items.

• A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• Towards an algebraic theory of typed mobile processes (Q817843) (← links)
• Theory of interaction (Q896903) (← links)
• Quantifying information leakage in process calculi (Q1023286) (← links)
• A calculus for cryptographic protocols: The spi calculus (Q1283776) (← links)
• Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
• Linda-based applicative and imperative process algebras (Q1575260) (← links)
• Testing congruence for mobile processes (Q1599646) (← links)
• A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
• A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
• Analysis of security protocols as open systems (Q1853583) (← links)
• Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
• Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
• Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
• Tau laws for pi calculus (Q1884877) (← links)
• Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Basic observables for a calculus for global computing (Q2384924) (← links)
• Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
• (Q2851059) (← links)
• Fair Π (Q2866341) (← links)
• Contracts for Mobile Processes (Q3184675) (← links)
• Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)