Specifications in stochastic process algebra for a robot control problem /
Gilmore, Stephen,1962-
University of Edinburgh.Computer Systems Group.
Edinburgh : Computer Systems Group, University of Edinburgh,
1994.
Caption title.
Includes bibliographical references.
Stochastic processes.
Parallel processing (Electronic computers)