Ugo Montanari and Friends (Q3507399): Difference between revisions

@@ Property / cites work @@
+Q3213365
@@ Property / cites work: Q3213365 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric channels via label expressions in CCS
@@ Property / cites work: Parametric channels via label expressions in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank