Boundedness analysis of finitely recursive processes. I. Concurrent processes.

Thu, 01 Jan 1998 00:00:00 +0100

Supratik Bose, Amit Patra, Siddhartha Mukhopadhyay:
Boundedness analysis of finitely recursive processes. I. Concurrent processes. IEEE Trans. Autom. Control. 43(11): 1514-1531 (1998)