Gentilini R

Latest

• Rank and simulation: the well-founded case
• Rank-Based Simulation on Acyclic Graphs
• Symbolic Graphs: Linear Solutions to Connectivity Related Problems
• Computing strongly connected components in a linear number of symbolic steps
• From Bisimulation to Simulation: Coarsest Partition Problems
• Rank-Based Symbolic Bisimulation (and Model Checking)
• Simulation as Coarsest Partition Problem
• Simulation Reduction as Constraint