Boundedness analysis of finitely recursive processes. I. Concurrent processes
From MaRDI portal
Publication:4506578
DOI10.1109/9.728869zbMath0962.93064MaRDI QIDQ4506578
Amit Patra, Siddhartha Mukhopadhyay, Supratik Bose
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.728869
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
93C65: Discrete event control/observation systems
Related Items