Compositional verification of concurrent systems by combining bisimulations (Q2147689): Difference between revisions

@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / 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 @@
+Compositional verification of asynchronous concurrent systems using CADP
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Q4037108
@@ Property / cites work: Q4037108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037383
@@ Property / cites work: Q4037383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence for process verification
@@ Property / cites work: Confluence for process verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
+Normal rank
@@ Property / cites work @@
+Q3792217
@@ Property / cites work: Q3792217 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and distributed on-the-fly computation of weak tau-confluence
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in the weak modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank