Termination detection for active objects (Q444506): Difference between revisions

@@ Property / describes a project that uses @@
+Creol
@@ Property / describes a project that uses: Creol / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rebeca
@@ Property / describes a project that uses: Rebeca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2012.03.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2023797220
@@ Property / OpenAlex ID: W2023797220 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral interface description of an object-oriented language with futures and promises
+Normal rank
@@ Property / cites work @@
+On the expressiveness of Linda coordination primitives.
+Normal rank
@@ Property / cites work @@
+A Complete Guide to the Future
@@ Property / cites work: A Complete Guide to the Future / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank