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

@@ Property / author @@
-Narciso Martí-Oliet
@@ Property / author: Narciso Martí-Oliet / rank @@
-Normal rank
@@ Property / author @@
+Narciso Martí-Oliet
@@ Property / author: Narciso Martí-Oliet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1608922