Adequacy-preserving transformations of COSY path programs (Q1185020): Difference between revisions

@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4181248
@@ Property / cites work: Q4181248 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3814775
@@ Property / cites work: Q3814775 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939202
@@ Property / cites work: Q3939202 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Q3867194
@@ Property / cites work: Q3867194 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A method for stepwise refinement and abstraction of Petri nets
+Normal rank