Quantum process algebra with priorities (Q1700843): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-017-3416-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2616492032
@@ Property / OpenAlex ID: W2616492032 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q112879501
@@ Property / Wikidata QID: Q112879501 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating quantum processes
@@ Property / cites work: Communicating quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Types and typechecking for Communicating Quantum Processes
+Normal rank
@@ Property / cites work @@
+Relations among quantum processes: bisimilarity and congruence
+Normal rank
@@ Property / cites work @@
+An algebra of quantum processes
@@ Property / cites work: An algebra of quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulations for quantum processes
@@ Property / cites work: Probabilistic bisimulations for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for Quantum Processes
@@ Property / cites work: Open Bisimulation for Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank