Implementing A Real-time Process Algebra In HOL

• 24 August 2005
• proceedings article
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• p. 144-154
• https://doi.org/10.1109/hol.1991.596281

Abstract

Keywords

• ALGEBRA
• REAL TIME SYSTEMS
• COMPUTER SCIENCE
• EDUCATIONAL INSTITUTIONS
• MANUFACTURING
• MEDICAL ROBOTICS
• AEROSPACE ELECTRONICS