Stratified guarded first-order transition systems (Q2233528): Difference between revisions

@@ Property / cites work @@
+Product programs and relational program logics
@@ Property / cites work: Product programs and relational program logics / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of threshold-based distributed algorithms by decomposition to decidable logics
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5232900
@@ Property / cites work: Q5232900 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and verifying secrecy in workflows with arbitrarily many agents
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Property-Directed Inference of Universal Invariants or Proving Their Absence
+Normal rank
@@ Property / cites work @@
+Deductive verification in decidable fragments with Ivy
+Normal rank
@@ Property / cites work @@
+Decentralizing SDN Policies
@@ Property / cites work: Decentralizing SDN Policies / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of inferring inductive invariants
@@ Property / cites work: Decidability of inferring inductive invariants / rank @@
+Normal rank
@@ Property / cites work @@
+How to win first-order safety games
@@ Property / cites work: How to win first-order safety games / rank @@
+Normal rank