Author : Rance Cleaveland
Publisher :
ISBN 13 :
Total Pages : 22 pages
Book Rating : 4.:/5 (317 download)
Book Synopsis A Logical Process Calculus by : Rance Cleaveland
Download or read book A Logical Process Calculus written by Rance Cleaveland and published by . This book was released on 2002 with total page 22 pages. Available in PDF, EPUB and Kindle. Book excerpt: This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear- time (mu)-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu)'s satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of (i) both minimal and maximal fixed-point operators and (ii) an unimplementability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.