Additive models of probabilistic processes
Theoretical Computer Science
Process algebra approach to reasoing about concurrent actions
Journal of Computer Science and Technology
Probabilistic bisimulations for quantum processes
Information and Computation
Characterize branching distance in terms of (η,α)-bisimilarity
Information and Computation
A Behavioural Pseudometric based on λ--Bisimilarity
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
Value-passing CCS with noisy channels
Theoretical Computer Science
Bisimulation for Quantum Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |