Media type: E-Article Title: CONCUR '94: Concurrency Theory: A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes Contributor: Hirshfeld, Yoram; Moller, Faron Published: Springer Berlin Heidelberg, 1994 Published in: CONCUR '94: Concurrency Theory (1994), Seite 48-63 Language: Not determined DOI: 10.1007/978-3-540-48654-1_5 ISBN: 9783540583295; 9783540486541 ISSN: 0302-9743; 1611-3349 Origination: Footnote: