Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
Generating the syntactic and semantics graphs for a Markovian process algebra
Journal of Computational and Applied Mathematics
Hi-index | 0.89 |