Progress properties in program refinement and parallel composition
By: David Meier
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1997
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1997.