- J. C. M. Baeten and J. A. Bergstra. Global renaming operators in
concrete process algebra. Information and Computation,
78(3):205-245, September 1988.
Abstract,
References,
and Citations.
- J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka. Axiomatizing probabilistic
processes: ACP with generative probabilities. Information and
Computation, 121(2):234-255, September 1995.
Abstract,
References,
and Citations.
Shortcuts: