论文信息 - Specification of Distributed Systems Using Modal Logics

Specification of Distributed Systems Using Modal Logics

We demonstrate that variations of modal logics provide a unified framework for expressing important properties of distributed systems, even if these systems are based on completely distinct semantic models. Considerable flexibility is gained if, moreover, the combination of different modal calculi is admitted.

Peter Pepper

[1] Gregory R. Andrews,et al. Concepts and Notations for Concurrent Programming , 1983, CSUR.

[2] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[3] Nissim Francez,et al. A Case for a Forward Predicate Transformer , 1977, Inf. Process. Lett..

[4] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[5] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.

[6] Ruurd Kuiper,et al. Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding , 1987, Temporal Logic in Specification.

[7] Zohar Manna,et al. Logics of Programs , 1981, Lecture Notes in Computer Science.

[8] Zohar Manna,et al. Verification of concurrent programs, Part I: The temporal framework , 1981 .

[9] Alasdair Urquhart,et al. Temporal Logic , 1971 .

[10] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.