论文信息 - Hereditary History Preserving Simulation is Undecidable - 字舞流文

Hereditary History Preserving Simulation is Undecidable

Mogens Nielsen | Marcin Jurdziński

[1] Luca Aceto,et al. Testing Hennessy-Milner Logic with Recursion , 1998, FoSSaCS.

[2] Olivier Danvy,et al. Lambda-dropping: transforming recursive equations into programs with block structure , 1997, Theor. Comput. Sci..

[3] Davide Sangiorgi,et al. Imperative objects and mobile processes , 1998, PROCOMET.

[4] Andrew D. Gordon,et al. Compilation and Equivalence of Imperative Objects (Revised Report) , 1998 .

[5] Julian C. Bradfield. Fixpoint alternation: Arithmetic, transition systems, and the binary tree , 1999, RAIRO Theor. Informatics Appl..

[6] Peter Krogsgaard Jensen. Automated Modeling of Real-Time Implementation , 1998 .