Decidability of model checking with the temporal logic EF (Q5941100): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Constrained properties, semilinear systems, and Petri nets
+Normal rank
@@ Property / cites work @@
+Q4251060
@@ Property / cites work: Q4251060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003036
@@ Property / cites work: Q4003036 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation collapse and the process taxonomy
@@ Property / cites work: Bisimulation collapse and the process taxonomy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355677
@@ Property / cites work: Q4355677 / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954445
@@ Property / cites work: Q4954445 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4942620
@@ Property / cites work: Q4942620 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Q4251913
@@ Property / cites work: Q4251913 / rank @@
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364400
@@ Property / cites work: Q4364400 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking PA-processes
@@ Property / cites work: Model checking PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222920
@@ Property / cites work: Q4222920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234763
@@ Property / cites work: Q4234763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5941100