An epistemic proof system for parallel processes: extended abstract

Authors:
M. van Hulst;J.-J. Ch. Meyer
Affiliations:
University of Nijmegen, Nijmegen, The Netherlands;University of Nijmegen, Nijmegen, The Netherlands
Venue:
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Year:
1994

Citing 9
Cited 2

A linear-history semantics for languages for distributed programming

Theoretical Computer Science
What processes know: Definitions and proof methods

PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Formal Justification of a Proof System for Communicating Sequential Processes

Journal of the ACM (JACM)
A Proof System for Communicating Sequential Processes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communications of the ACM
Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness
Towards an Epistemic Approach to Reasoning about Concurrent Programs

Proceedings of the REX Workshop on Sematics: Foundations and Applications
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science

Refining knowledge oriented actions to layered implementations

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Interpreted systems semantics for process algebra with identity annotations

TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

A proof system for the correctness of parallel programs using knowledge in distributed systems is presented and proven sound and relatively complete with respect to a formal Kripke style semantics that supports truly concurrent computations.