Behavioral interface description of an object-oriented language with futures and promises (Q843206): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interface Behavior of Object-Oriented Languages with Monitors
+Normal rank
@@ Property / cites work @@
+Abstract interface behavior of object-oriented languages with monitors
+Normal rank
@@ Property / cites work @@
+Issues in the design of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9--15, 2000. Advanced lectures
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous sequential processes
@@ Property / cites work: Asynchronous sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous and deterministic objects
@@ Property / cites work: Asynchronous and deterministic objects / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '92. 3rd international conference on concurrency theory. Stony Brook, NY, USA, August 24--27, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+The semantics of future and an application
@@ Property / cites work: The semantics of future and an application / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813226
@@ Property / cites work: Q4813226 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3997397
@@ Property / cites work: Q3997397 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of Scheme with future
@@ Property / cites work: The semantics of Scheme with future / rank @@
+Normal rank
@@ Property / cites work @@
+Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
+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 @@
+A Representation-Independent Behavioral Semantics for Object-Oriented Components
+Normal rank
@@ Property / cites work @@
+Q3750106
@@ Property / cites work: Q3750106 / rank @@
+Normal rank