Concurrent Objects à la Carte (Q5187829): Difference between revisions

@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1573711659
@@ Property / OpenAlex ID: W1573711659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738214
@@ Property / cites work: Q4738214 / rank @@
+Normal rank
@@ Property / cites work @@
+Service oriented computing from a process algebraic perspective
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic subtyping for the pi-calculus
@@ Property / cites work: Semantic subtyping for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+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 @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+Formal Semantics of a VDM Extension for Distributed Embedded Systems
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+A concurrent lambda calculus with futures
@@ Property / cites work: A concurrent lambda calculus with futures / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank