A Maude specification of an object-oriented model for telecommunication networks (Q1608922): Difference between revisions

@@ Property / Wikidata QID @@
+Q123905909
@@ Property / Wikidata QID: Q123905909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222998
@@ Property / cites work: Q4222998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722043
@@ Property / cites work: Q2722043 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Q4762648
@@ Property / cites work: Q4762648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222867
@@ Property / cites work: Q4222867 / rank @@
+Normal rank