Process algebra with four-valued logic (Q4443411): Difference between revisions

@@ 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 @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Bochvar-McCarthy logic and process algebra
@@ Property / cites work: Bochvar-McCarthy logic and process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's three-valued logic and process algebra
@@ Property / cites work: Kleene's three-valued logic and process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
@@ Property / cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations for the perpetual loop in process algebra
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
+Normal rank
@@ Property / cites work @@
+Q4443015
@@ Property / cites work: Q4443015 / rank @@
+Normal rank