An industrial application of modal process logic

作     者：Bruns, G 

作者机构：Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ UK 

出 版 物：《SCIENCE OF COMPUTER PROGRAMMING》 (Sci Comput Program)

年 卷 期：1997年第29卷第1-2期

页      面：3-22页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：verification program refinement process algebra CCS modal process logic fault tolerance safety-critical systems air-traffic control 

摘      要：Modal process logic is an extension of CCS that allows for more expressive specifications. We show how modal process logic was successfully applied in the development of a failure recovery protocol for an air-traffic information system now in service at Heathrow airport. Two example systems are used to show that CCS itself was not suitable for this application. (C) 1997 Published by Elsevier Science B.V.