Specifications in stochastic process algebra for a robot control problem
By: Stephen Gilmore ... (et al.).
Contributors: Gilmore, Stephen.; University of Edinburgh. Computer Systems Group.
Series: CSG report series -- ECS-CSG-7-94
Publisher: Computer Systems Group, University of Edinburgh
Published: 1994
Place of publication: Edinburgh
Language: eng
Number of pages: 19
Subjects: Stochastic processes.; Parallel processing (Electronic computers)
Notes: Caption title.

Includes bibliographical references.