A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Research output: Book/ReportReportProfessional

28 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages27
Publication statusPublished - 2019

Publication series

NameComputer Science Reports
Volume19-03
ISSN (Print)0926-4515

Cite this