Undecidability results for deterministic communicating sequential processes

DOI10.1109/9.58531zbMath0715.68024MaRDI QIDQ3201754

Randall A. Cieslak, Pravin P. Varaiya

Publication date: 1990

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.58531

zbMATH Keywords

communicating sequential processes

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

03D35: Undecidability and degrees of sets of sentences

Related Items

Logical models of discrete even systems: a comparative exposition