A framework for model-checking timed CSP

• 1 January 1999
• proceedings article
• Published by Institution of Engineering and Technology (IET)
• Vol. 1999, 5
• https://doi.org/10.1049/ic:19990011

Abstract

Keywords

• COMMUNICATING SEQUENTIAL PROCESSES
• PROCESS ALGEBRA