Decidability and Undecidability in Distributed Transition Systems

Rohit Parikh. Decidability and Undecidability in Distributed Transition Systems. In R. Narasimhan, editor, A Perspective in Theoretical Computer Science - Commemorative Volume for Gift Siromoney. Volume 16 of World Scientific Series in Computer Science, pages 199-209, World Scientific, 1989. [doi]

Abstract

Abstract is missing.