Undecidability results for deterministic communicating sequential processes

DOI10.1109/9.58531zbMath0715.68024OpenAlexW2139150329MaRDI 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

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Undecidability and degrees of sets of sentences (03D35)

Related Items (1)

Logical models of discrete even systems: a comparative exposition

This page was built for publication: Undecidability results for deterministic communicating sequential processes