Probabilistic operational correspondence
From MaRDI portal
Cites work
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- A structural approach to operational semantics
- A theory of encodings and expressiveness (extended abstract)
- Analysing and comparing encodability criteria
- Barbed bisimulation
- Bisimulation and Simulation Relations for Markov Chains
- Bisimulation through probabilistic testing
- Bisimulations for probabilistic and quantum processes (invited paper)
- Comparing process calculi using encodings
- Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
- Coupled similarity: the first 32 years
- Encoding CSP into CCS
- Expressiveness of probabilistic -calculus
- Expressiveness of process algebras
- Full abstraction for expressiveness: history, myths and facts
- General conditions for full abstraction
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- Mobile ambients
- Musings on encodings and expressiveness
- On the expressiveness of interaction
- Open bisimulation for quantum processes
- Probabilistic -calculus and event structures
- Probabilistic barbed congruence
- Probabilistic mobile ambients
- Theory of interaction
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Towards a unified approach to encodability and separation results for process calculi
This page was built for publication: Probabilistic operational correspondence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967334)
