Title :
Implementing A Real-time Process Algebra In HOL
Author :
Gerber, Richard ; Gunter, Elsa L. ; Lee, Insup
Author_Institution :
University of Maryland
Keywords :
Aerospace electronics; Algebra; Computer science; Educational institutions; Manufacturing; Medical robotics; Real time systems;
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
DOI :
10.1109/HOL.1991.596281
