Publication:4501519
From MaRDI portal
zbMath0959.68093MaRDI QIDQ4501519
Rupak Majumdar, Thomas A. Henzinger
Publication date: 4 September 2000
infinite-state systems; bisimilarity quotients; bounded-reachability quotients; distance-equivalence quotients; similarity quotients; trace-equivalence quotients
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Well-structured transition systems everywhere!, Competent predicate abstraction in model checking, Well-abstracted transition systems: Application to FIFO automata.