Negulescu, Radu.2006-07-282006-07-2819981998http://hdl.handle.net/10012/329application/pdf8270434 bytesapplication/pdfenCopyright: 1998, Negulescu, Radu.. All rights reserved.Harvested from Collections CanadaProcess spaces and formal verification of asynchronous circuitsDoctoral Thesis