Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845): Difference between revisions

@@ 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 @@
+Q4470506
@@ Property / cites work: Q4470506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138149
@@ Property / cites work: Q4138149 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics preserving actor translation
@@ Property / cites work: A semantics preserving actor translation / 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 @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4222865
@@ Property / cites work: Q4222865 / rank @@
+Normal rank
@@ Property / cites work @@
+Composable semantic models for actor theories
@@ Property / cites work: Composable semantic models for actor theories / rank @@
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1575845