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

@@ Property / author @@
-Rudrapatna K. Shyamasundar
@@ Property / author: Rudrapatna K. Shyamasundar / rank @@
-Normal rank
@@ Property / author @@
+Rudrapatna K. Shyamasundar
@@ Property / author: Rudrapatna K. Shyamasundar / 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.1007/978-3-642-11512-7_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2117262103
@@ Property / OpenAlex ID: W2117262103 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5187828