A functional programming approach to the specification and verification of concurrent systems (Q909439): Difference between revisions

@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic data flow programs: How to avoid the merge anomaly
+Normal rank
@@ Property / cites work @@
+Q3685173
@@ Property / cites work: Q3685173 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing integrated and external logics of functional programs
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement calculus for specifications in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Q3771648
@@ Property / cites work: Q3771648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Q3792217
@@ Property / cites work: Q3792217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042377
@@ Property / cites work: Q3042377 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank