An evaluation of interaction paradigms for active objects (Q1734521): Difference between revisions

@@ Property / describes a project that uses @@
+Rebeca
@@ Property / describes a project that uses: Rebeca / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABCL
@@ Property / describes a project that uses: ABCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AmbientTalk
@@ Property / describes a project that uses: AmbientTalk / 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.2018.11.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2902983696
@@ Property / OpenAlex ID: W2902983696 / rank @@
+Normal rank
@@ Property / cites work @@
+Secured Information Flow for Asynchronous Sequential Processes
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+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 @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Q4596790
@@ Property / cites work: Q4596790 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of communicating sequential processes
+Normal rank
@@ Property / Wikidata QID @@
+Q128900165
@@ Property / Wikidata QID: Q128900165 / rank @@
+Normal rank