A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665): Difference between revisions

@@ Property / describes a project that uses @@
+TCOZ
@@ Property / describes a project that uses: TCOZ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CSP-prover
@@ Property / describes a project that uses: CSP-prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2799615765
@@ Property / OpenAlex ID: W2799615765 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+CSP with Hierarchical State
@@ Property / cites work: CSP with Hierarchical State / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories in Isabelle/HOL
@@ Property / cites work: Unifying Theories in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Programming in Isabelle
@@ Property / cites work: Unifying Theories of Programming in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Proof Principles of CSP – CSP-Prover in Practice
+Normal rank
@@ Property / cites work @@
+Deep semantic links of TCSP and Object-Z: TCOZ approach.
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories in ProofPower-Z
@@ Property / cites work: Unifying Theories in ProofPower-Z / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+The Stable Revivals Model in CSP-Prover
@@ Property / cites work: The Stable Revivals Model in CSP-Prover / rank @@
+Normal rank
@@ Property / cites work @@
+CSP theorems for communicating B machines
@@ Property / cites work: CSP theorems for communicating B machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787253
@@ Property / cites work: Q4787253 / rank @@
+Normal rank
@@ Property / cites work @@
+Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
+Normal rank