Defining, analysing and implementing communication protocols using attribute grammars (Q919803): Difference between revisions

@@ Property / describes a project that uses @@
+Miranda
@@ Property / describes a project that uses: Miranda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826121
@@ Property / cites work: Q3826121 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining, analysing and implementing communication protocols using attribute grammars
+Normal rank
@@ Property / cites work @@
+Attribute grammars. Definitions, systems and bibliography
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753511
@@ Property / cites work: Q3753511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed translations
@@ Property / cites work: Attributed translations / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939267
@@ Property / cites work: Q3939267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683522
@@ Property / cites work: Q3683522 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Attribute Grammars
@@ Property / cites work: Extended Attribute Grammars / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:919803