Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507): Difference between revisions

@@ 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.1016/j.entcs.2008.04.084
+Normal rank
@@ Property / OpenAlex ID @@
+W2159887230
@@ Property / OpenAlex ID: W2159887230 / rank @@
+Normal rank
@@ Property / cites work @@
+An assertion-based proof system for multithreaded Java
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+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 @@
+Ten years of Hoare's logic: A survey. II: Nondeterminism
+Normal rank
@@ Property / cites work @@
+Q4536314
@@ Property / cites work: Q4536314 / rank @@
+Normal rank
@@ Property / cites work @@
+From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl.
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038594
@@ Property / cites work: Q3038594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764133
@@ Property / cites work: Q2764133 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+A proof technique for parallel programs
@@ Property / cites work: A proof technique for parallel programs / rank @@
+Normal rank