Specification and verification of learning

Authors:
Ka-Wing Wong;Richard A. McBride
Affiliations:
Department of Mathematics, Statistics and Computer Science, Eastern Kentucky University;Department of Computer Science, University of South Dakota
Venue:
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Year:
1994

Citing 6
Cited 0

A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols

Journal of the ACM (JACM)
What can machines know?: On the properties of knowledge in distributed systems

Journal of the ACM (JACM)
The Science of Programming

The Science of Programming
The temporal logic of branching time

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Knowledge and common knowledge in a distributed environment

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
An active message system

An active message system

Quantified Score

Hi-index	0.00

Visualization

Abstract