A Proof System for a PGAS Language (Q5187828): Difference between revisions

@@ Property / cites work @@
+An assertion-based proof system for multithreaded Java
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+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 @@
+The semantics of future and an application
@@ Property / cites work: The semantics of future and an application / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for real-time distributed computing
+Normal rank
@@ Property / cites work @@
+Refinement calculus: A basis for translation validation, debugging and certification
+Normal rank
@@ Property / cites work @@
+Type systems for distributed data structures
@@ Property / cites work: Type systems for distributed data structures / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank