A Hoare logic for dynamic networks of asynchronously communicating deterministic processes (Q5958463): Difference between revisions

@@ Property / describes a project that uses @@
+Smalltalk
@@ Property / describes a project that uses: Smalltalk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about dynamically evolving process structures
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039815
@@ Property / cites work: Q4039815 / rank @@
+Normal rank