A theory of implementation and refinement in timed Petri nets (Q1128980): Difference between revisions

@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / 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 @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518434
@@ Property / cites work: Q4518434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293540
@@ Property / cites work: Q4293540 / rank @@
+Normal rank
@@ Property / cites work @@
+Using mappings to prove timing properties
@@ Property / cites work: Using mappings to prove timing properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q3738569
@@ Property / cites work: Q3738569 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint logic programming for reasoning about discrete event processes
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785958
@@ Property / cites work: Q3785958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355248
@@ Property / cites work: Q3355248 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank