DOI10.1016/0020-0190(89)90168-3zbMath0668.68028MaRDI QIDQ1118393
S. H. Smith
Publication date: 1989 Published in: Information Processing Letters (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0020-0190(89)90168-3
zbMATH Keywords
bisimulation; halting problem
Mathematics Subject Classification ID
03D80: Applications of computability and recursion theory
68N25: Theory of operating systems
Related Items