Fokkink, W. J. (1995). A complete axiomatization for prefix iteration in branching bisimulation. Dep. of Philosophy, Utrecht Univ.
Chicago Style (17th ed.) CitationFokkink, Willem J. A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. Utrecht: Dep. of Philosophy, Utrecht Univ, 1995.
MLA (9th ed.) CitationFokkink, Willem J. A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. Dep. of Philosophy, Utrecht Univ, 1995.
Warning: These citations may not always be 100% accurate.