Extending propositional dynamic logic for Petri nets (Q281154): Difference between revisions

@@ Property / cites work @@
+Extending propositional dynamic logic for Petri nets
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+A decidable propositional dynamic logic with explicit probabilities
+Normal rank
@@ Property / cites work @@
+A probabilistic dynamic logic
@@ Property / cites work: A probabilistic dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel action: Concurrent dynamic logic with independent modalities
+Normal rank
@@ Property / cites work @@
+Infinite State Model-Checking of Propositional Dynamic Logics
+Normal rank
@@ Property / cites work @@
+Stochastic Petri Nets
@@ Property / cites work: Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3238703
@@ Property / cites work: Q3238703 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of finite probabilistic propositional dynamic logics
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic with local assignments
+Normal rank