On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659): Difference between revisions

@@ Property / describes a project that uses @@
+Creol
@@ Property / describes a project that uses: Creol / 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.jlamp.2017.02.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2622972989
@@ Property / OpenAlex ID: W2622972989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004235
@@ Property / cites work: Q4004235 / rank @@
+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 @@
+Observable behavior of distributed systems: component reasoning for concurrent objects
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning about Shared Futures
@@ Property / cites work: Compositional Reasoning about Shared Futures / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete reasoning system for asynchronous communication with shared futures
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457268
@@ Property / cites work: Q5457268 / 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:2360659