Designing a semantic model for a wide-spectrum language with concurrency (Q1682288): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-017-0416-4
@@ Property / DOI: 10.1007/s00165-017-0416-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963544244
@@ Property / OpenAlex ID: W2963544244 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00195
@@ Property / arXiv ID: 1609.00195 / rank @@
+Normal rank
@@ Property / cites work @@
+Balancing expressiveness in formal approaches to concurrency
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+Q4493900
@@ Property / cites work: Q4493900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement calculus for shared-variable parallel and distributed programming
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/UTP: A Mechanised Theory Engineering Framework
+Normal rank
@@ Property / cites work @@
+Generalised rely-guarantee concurrency: an algebraic foundation
+Normal rank
@@ Property / cites work @@
+Q4003175
@@ Property / cites work: Q4003175 / 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-017-0416-4
@@ Property / DOI: 10.1007/S00165-017-0416-4 / rank @@
+Normal rank