No. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable

Published: 1999-01-19