Q2851057 (Q2851057): Difference between revisions

@@ Property / author @@
-Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
-Normal rank
@@ Property / author @@
+Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PLAN
@@ Property / describes a project that uses: PLAN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4426386
@@ Property / cites work: Q4426386 / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+PLAN
@@ Property / cites work: PLAN / rank @@
+Normal rank
@@ Property / cites work @@
+A variable typed logic of effects
@@ Property / cites work: A variable typed logic of effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499190
@@ Property / cites work: Q4499190 / rank @@
+Normal rank
@@ Property / cites work @@
+Actor languages. Their syntax, semantics, translation, and equivalence
+Normal rank
@@ Property / cites work @@
+Q4793036
@@ Property / cites work: Q4793036 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Specification diagrams for actor systems
@@ Property / cites work: Specification diagrams for actor systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704331
@@ Property / cites work: Q2704331 / rank @@
+Normal rank
@@ Property / cites work @@
+From syntactic theories to interpreters: Automating the proof of unique decomposition
+Normal rank