Jurdzinski, Marcin
-
BRICS Report Series No. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable - Articles
Hereditary History Preserving Simulation is Undecidable
Abstract PDF -
BRICS Report Series No. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable - Articles
Hereditary History Preserving Bisimilarity is Undecidable
Abstract PDF -
BRICS Report Series No. 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games - Articles
A Discrete Stratety Improvement Algorithm for Solving Parity Games
Abstract PDF