A process algebra for probabilistic and nondeterministic processes
We present an algebraic language for the specification of probabilistic and nondeterministic processes, PNAL, which is a probabilistic extension of EPL that maintains nondeterminism. (C) 2001 Elsevier Science B.V. All rights reserved.
concurrency formal semantics specification languages