State space reduction using partial $ \tau $ -confluence

Additional Metadata
MSC	Distributed systems (msc 68M14), Specification and verification (program logics, model checking, etc.) (msc 68Q60), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Symposium on Mathematical Foundations of Computer Science
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F.& van de Pol, J. (2000). State space reduction using partial $ \tau $ -confluence. Mathematical Foundations of Computer Science 2000 (MFCS 25), 383–393.

See Also
techReport State space reduction using partial $\tau$-confluence J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)
techReport State space reduction using partial $\tau$-confluence J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

Publication