skip to main content
10.1145/1500774.1500860acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

Weakest environment of communicating processes

Published: 07 June 1982 Publication History

Abstract

As is well known, the concept of the weakest precondition has played an important role in sequential programming. In this paper we introduce a similar concept for distributed programming. As far as partial correctness is concerned, given an overall specification of a distributed system and of a designated part of the system, we can find a minimum specification that must be met by the rest of the system in order that the whole system meet the overall specification. This minimum specification is called the weakest environment of the first designated part with respect to the overall specification. In terms of weakest environment, a calculus for the partial correctness of processes with a master-slave communication mechanism is also given.

References

[1]
Dijkstra, E. W. "Guarded Commands, Nondeterminacy, and Formal Derivation of Programs." Communications of the ACM, 18 (1975), p. 8.
[2]
Zhou, Chaochen, and C. A. R. Hoare. "Partial Correctness of Communicating Sequential Processes." In Proceedings of the Second International Conference on Distributed Computing Systems, April 1981.
[3]
Zhou, Chaochen, and C. A. R. Hoare. "Partial Correctness of Communication Protocols." Paper presented at INWG/NPL Workshop, "Protocol Testing---Towards Proving?" May 1981.

Cited By

View all
  • (2008)Assumption---Commitment Support for CSP Model CheckingJournal of Automated Reasoning10.1007/s10817-008-9111-841:3-4(365-398)Online publication date: 1-Nov-2008
  • (2007)Assumption-Commitment Support for CSP Model CheckingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.05.033185(121-137)Online publication date: 1-Jul-2007
  • (1995)Communication mechanism independent protocol specification based on CSP: a case studyProceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies10.1109/EURMIC.1996.546395(303-310)Online publication date: 1995

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AFIPS '82: Proceedings of the June 7-10, 1982, national computer conference
June 1982
857 pages
ISBN:088283035X
DOI:10.1145/1500774
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]

Sponsors

  • AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 June 1982

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)24
  • Downloads (Last 6 weeks)12
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2008)Assumption---Commitment Support for CSP Model CheckingJournal of Automated Reasoning10.1007/s10817-008-9111-841:3-4(365-398)Online publication date: 1-Nov-2008
  • (2007)Assumption-Commitment Support for CSP Model CheckingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.05.033185(121-137)Online publication date: 1-Jul-2007
  • (1995)Communication mechanism independent protocol specification based on CSP: a case studyProceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies10.1109/EURMIC.1996.546395(303-310)Online publication date: 1995

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media