DocumentCode

2411997

Title

Implementing A Real-time Process Algebra In HOL

Author

Gerber, Richard ; Gunter, Elsa L. ; Lee, Insup

Author_Institution

University of Maryland

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

144

Lastpage

154

Keywords

Aerospace electronics; Algebra; Computer science; Educational institutions; Manufacturing; Medical robotics; Real time systems;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/HOL.1991.596281

Filename

596281