scientific article; zbMATH DE number 7378546
From MaRDI portal
Publication:5009413
DOI10.4230/LIPIcs.CONCUR.2018.2MaRDI QIDQ5009413
Publication date: 4 August 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Probabilistic logical characterization
- Symbolic bisimulations
- Bisimulation through probabilistic testing
- A theory of communicating processes with value passing
- Approximating labelled Markov processes
- Behavioural pseudometrics for nondeterministic probabilistic systems
- Probabilistic bisimilarity as testing equivalence
- Domain theory, testing and simulation for labelled Markov processes
- A theory of bisimulation for the \(\pi\)-calculus
- Exploring probabilistic bisimulations. I
- On the semantics of Markov automata
- Deciding bisimilarity and similarity for probabilistic processes.
- Probabilistic bisimulations for quantum processes
- Bisimulation for labelled Markov processes
- A General Framework for Probabilistic Characterizing Formulae
- Open Bisimulation for Quantum Processes
- An algebra of quantum processes
- Testing Finitary Probabilistic Processes
- Probabilistic Bisimulation: Naturally on Distributions
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
- Algebraic laws for nondeterminism and concurrency
- Characterising Probabilistic Processes Logically
- Symbolic Bisimulation for Quantum Processes
- Probabilistic Bisimulation for Realistic Schedulers
- Communicating quantum processes
- Toward Automatic Verification of Quantum Cryptographic Protocols
- Bisimulation for quantum processes
- Relations among quantum processes: bisimilarity and congruence
- Semantics of Probabilistic Processes
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
This page was built for publication:
