PROVING PROPERTIES OF DYNAMIC PROCESS NETWORKS

Authors
DAM M
Citation
M. Dam, PROVING PROPERTIES OF DYNAMIC PROCESS NETWORKS, Information and computation, 140(2), 1998, pp. 95-114
Citations number
26
Categorie Soggetti
Mathematics,"Computer Science Information Systems",Mathematics,"Computer Science Information Systems
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
140
Issue
2
Year of publication
1998
Pages
95 - 114
Database
ISI
SICI code
0890-5401(1998)140:2<95:PPODPN>2.0.ZU;2-F
Abstract
We present the first compositional proof system for checking processes against formulas in the modal mu-calculus which is capable of handlin g dynamic process networks. The proof system is obtained in a systemat ic way from the operational semantics of the underlying process algebr a. A non-trivial proof example is given, and the proof system is shown to be sound in general, and complete for finite-state processes. (C) 1998 Academic Press.