A Nondeterministic Extension over Finitely Recursive Process Model

Supratik Bose, Siddhartha Mukhopadhyay, Amit Patra. A Nondeterministic Extension over Finitely Recursive Process Model. Discrete Event Dynamic Systems, 7(3):243-274, 1997. [doi]

Abstract

Abstract is missing.