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

@@ Property / DOI @@
-.1016/j.entcs.2014.06.006
@@ Property / DOI: 10.1016/j.entcs.2014.06.006 / rank @@
-Normal rank
@@ Property / author @@
+Bruno D. Lopes
@@ Property / author: Bruno D. Lopes / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2035169146
@@ Property / OpenAlex ID: W2035169146 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317870
@@ Property / Wikidata QID: Q113317870 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2014.06.006
@@ Property / DOI: 10.1016/J.ENTCS.2014.06.006 / rank @@
+Normal rank