Article

Free access

A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

Author:

Beverly SandersAuthors Info & Claims

PODC '91: Proceedings of the tenth annual ACM symposium on Principles of distributed computing

Pages 217 - 230

https://doi.org/10.1145/112600.112619

Published: 01 July 1991 Publication History

PDF eReader

References

[1]

A.V. Aho, J.D. Ullman, A.D Wyner, and M. Yannakakis. Bounds on the size and transmission rate of communication protocols. Comp. and Maths. with Appls., 8(3):205-214, 1982. This is a later version of {AUY79}.

Crossref

Google Scholar

[2]

A.V. Aho, J.D. Ullman, and M. Yannakakis. Modeling communication protocols by automata. In Proc. 20th IEEE $ymp. on Foundations of Computer Science, pages 267-273, 1979.

Digital Library

Google Scholar

[3]

K.A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the A CM, 12:260-261, 1969.

Digital Library

Google Scholar

[4]

K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.

Digital Library

Google Scholar

[5]

Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a byzantine environment: Crash failures. Information and Computatzon, 88(2):156-186, October 1990.

Digital Library

Google Scholar

[6]

Edsgar W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.

Digital Library

Google Scholar

[7]

Joseph H. Halpern and Ronald Fagin. Modelling knowledge and action in distributed systems. Distributed Computing, 3:159-177, 1989.

Digital Library

Google Scholar

[8]

Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in a. distributed environment. Journal of the ACM, 37(3):549-587, July 1990.

Digital Library

Google Scholar

[9]

Joseph H. Halpern and Lenore Zuck. A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols. In Proc. 6th A CM Symposium on Principles of Distributed Computing, 1986. A longer version including proofs appeared as Yale technical report YALEU/DCS/TR-571, October, 1987.

Digital Library

Google Scholar

[10]

Joseph H. HMpern and Lenore Zuck. A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols To appear in Journal of the ACM, February 1989.

Google Scholar

[11]

C.S. Jutla, E. Knapp, and J.R. Rao. A predicate transformer approach to semantics of parallel programs. In Proceeding of the 8th ACM Symposium on Principles of Distributed Computing, 1989.

Digital Library

Google Scholar

[12]

Shmuel Katz and Gadi Taubenfeld. What processes know: Definitions and proof methods. In Proceeding of the 5th A CM Symposium on Principles of Distributed Computing, 1986.

Digital Library

Google Scholar

[13]

Leslie Lamport. win and sin: Predicate transformers for concurrency. Technical Report 17, DEC SRC, 1987.

Google Scholar

[14]

Yoram Moses, D. Dolev, and Joseph Halpern. Cheating husbands and other stories: A case study of knowledge, action, and communication. Distributed Computing, 1:167-176, 1986.

Crossref

Google Scholar

[15]

Yoram Moses and Mark Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3:121-169, 1988.

Digital Library

Google Scholar

[16]

Beverly Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and C.B. Jones, editors, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, Israel, 1990.

Google Scholar

[17]

Beverly Sanders. Eliminating the substitution axiom from unity logic. Formal Aspects of Computing, 3(2), 1991.

Google Scholar

[18]

M.V. Stenning. A data transfer protocol. Computer Networks, 1:99-110, 1982.

Google Scholar

Cited By

View all

Bickford MConstable RHalpern JPetride S(2005)Knowledge-Based Synthesis of Distributed Systems Using Event StructuresLogic for Programming, Artificial Intelligence, and Reasoning10.1007/978-3-540-32275-7_30(449-465)Online publication date: 2005
https://doi.org/10.1007/978-3-540-32275-7_30
Sanders B(2005)On the UNITY design decisionsReasearch Directions in High-Level Parallel Programming Languages10.1007/3-540-55160-3_33(50-63)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55160-3_33
Engelhardt Kvan der Meyden RMoses Y(2001)A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous AgentsLogic for Programming, Artificial Intelligence, and Reasoning10.1007/3-540-45653-8_9(125-141)Online publication date: 20-Nov-2001
https://doi.org/10.1007/3-540-45653-8_9
Show More Cited By

Index Terms

A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

Recommendations

Knowledge acquisition for knowledge-based engineering systems

This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...
Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System

The knowledge acquisition bottleneck impeding the development of expert systems is being alleviated by the development of computer-based knowledge acquisition tools. These work directly with experts to elicit knowledge, and structure it appropriately to ...
A script-based approach to modifying knowledge-based systems

Comments

Information & Contributors

Information

Published In

PODC '91: Proceedings of the tenth annual ACM symposium on Principles of distributed computing

July 1991

355 pages

ISBN:0897914392

DOI:10.1145/112600

Chairman:
Luigi Logrippo
Univ. of Ottawa

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PODC91

Sponsor:

PODC91: 10th Annual ACM Symposium in Principles of Distibuted Computing

August 19 - 21, 1991

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 740 of 2,477 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
228
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bickford MConstable RHalpern JPetride S(2005)Knowledge-Based Synthesis of Distributed Systems Using Event StructuresLogic for Programming, Artificial Intelligence, and Reasoning10.1007/978-3-540-32275-7_30(449-465)Online publication date: 2005
https://doi.org/10.1007/978-3-540-32275-7_30
Sanders B(2005)On the UNITY design decisionsReasearch Directions in High-Level Parallel Programming Languages10.1007/3-540-55160-3_33(50-63)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55160-3_33
Engelhardt Kvan der Meyden RMoses Y(2001)A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous AgentsLogic for Programming, Artificial Intelligence, and Reasoning10.1007/3-540-45653-8_9(125-141)Online publication date: 20-Nov-2001
https://doi.org/10.1007/3-540-45653-8_9
Engelhardt Kvan der Meyden RMoses Y(2000)A Program Refinement Framework Supporting Reasoning about Knowledge and TimeFoundations of Software Science and Computation Structures10.1007/3-540-46432-8_8(114-129)Online publication date: 19-May-2000
https://doi.org/10.1007/3-540-46432-8_8
Engelhardt Kvan der Meyden RMoses Y(1998)Knowledge and the logic of local propositionsProceedings of the 7th conference on Theoretical aspects of rationality and knowledge10.5555/645876.671890(29-41)Online publication date: 22-Jul-1998
https://dl.acm.org/doi/10.5555/645876.671890

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Knowledge acquisition for knowledge-based engineering systems

Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System

A script-based approach to modifying knowledge-based systems

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Knowledge acquisition for knowledge-based engineering systems

Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System

A script-based approach to modifying knowledge-based systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations