State Space Reduction Using Partial τ-Confluence

J.F. Groote, J.C. Pol, van de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

27 Citations (Scopus)
2 Downloads (Pure)


We present an efficient algorithm to determine the maximal class of confluent t-transitions in a labelled transition system. Confluent t-transitions are inert with respect to branching bisimulation. This allows to use t-priorisation, which means that in a state with a confluent outgoing t-transition all other transitions can be removed, maintaining branching bisimulation. In combination with the removal of t-loops, and the compression of t-sequences this yields an efficient algorithm to reduce the size of large state spaces.
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science (Proceedings 25th International Symposium, MFCS2000, Bratislava, Slovakia, August 28-September 1, 2000)
EditorsN Nielsen, Mogens, Rovan, B. Rovan
ISBN (Print)3-540-67901-4
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'State Space Reduction Using Partial τ-Confluence'. Together they form a unique fingerprint.

Cite this