@incollection{Christensen-Hirshfeld-Moller/93,
AUTHOR = {Christensen, S{\o}ren and Hirshfeld, Yoram and Moller, Faron},
TITLE = {Bisimulation equivalence is decidable for basic parallel processes},
BOOKTITLE = {Proceedings of the 4th International Conference on Concurrency Theory. CONCUR '93 (Hildesheim, Germany, August 23-26, 1993)},
SERIES = {LNCS},
VOLUME = {715},
PAGES = {143-157},
YEAR = {1993},
EDITOR = {Best, Eike},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=715&spage=143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}