Book Chapter10.1007/978-3-642-24288-5_19

A Fully Symbolic Bisimulation Algorithm

Malcolm Mumme,Gianfranco Ciardo-2011-01-01-Lecture notes in computer science

6

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

BisimulationComputer scienceAlgorithmLocalityEquivalence (formal languages)HeuristicPetri netQuotient

Chat

Click to start Chat