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

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065767
@@ Property / zbMATH DE Number: 6065767 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deadlock detection
@@ Property / zbMATH Keywords: deadlock detection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modeling language
@@ Property / zbMATH Keywords: modeling language / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+active objects
@@ Property / zbMATH Keywords: active objects / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebra
@@ Property / zbMATH Keywords: process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global deadlocks
@@ Property / zbMATH Keywords: global deadlocks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Creol
@@ Property / zbMATH Keywords: Creol / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:444506