Article

Specifying and Proving Properties of Guardians for Distributed Systems

Authors:

Carl Hewitt,

Giuseppe Attardi,

Henry LiebermanAuthors Info & Claims

Proceedings of the International Sympoisum on Semantics of Concurrent Computation

Pages 316 - 336

Published: 02 July 1979 Publication History

Abstract

No abstract available.

Cited By

View all

Cortese GSirovich F(2019)A Daemon-based programming system for office procedures.ACM SIGOA Newsletter10.1145/966863.8083495:1-2(203-211)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/966863.808349
Cortese GSirovich FEllis CBair J(1984)A Daemon-based programming system for office procedures.Proceedings of the second ACM-SIGOA conference on Office information systems10.1145/800023.808349(203-211)Online publication date: 1-Jan-1984
https://dl.acm.org/doi/10.1145/800023.808349
Hewitt C(1980)The Apiary network architecture for knowledgeable systemsProceedings of the 1980 ACM conference on LISP and functional programming10.1145/800087.802796(107-117)Online publication date: 25-Aug-1980
https://dl.acm.org/doi/10.1145/800087.802796
Show More Cited By

Specifying and Proving Properties of Guardians for Distributed Systems
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures

Recommendations

Proving temporal properties of concurrent programs: a non-temporal approach
Towards Information Flow Properties for Distributed Systems

In this paper we present a framework for the specification of information flow properties for distributed systems. We consider partially specified distributed systems in which there are several unspecified components located in different places. As a ...
Strong stable properties in distributed systems

A stable property in a distributed system is a global property which once true, remains true forever. This paper refines this notion by formally introducing the concept of strong stable properties. A strong stable property has the nice property that it ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the International Sympoisum on Semantics of Concurrent Computation

July 1979

370 pages

ISBN:354009511X

Editor:
Gilles Kahn

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 July 1979

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cortese GSirovich F(2019)A Daemon-based programming system for office procedures.ACM SIGOA Newsletter10.1145/966863.8083495:1-2(203-211)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/966863.808349
Cortese GSirovich FEllis CBair J(1984)A Daemon-based programming system for office procedures.Proceedings of the second ACM-SIGOA conference on Office information systems10.1145/800023.808349(203-211)Online publication date: 1-Jan-1984
https://dl.acm.org/doi/10.1145/800023.808349
Hewitt C(1980)The Apiary network architecture for knowledgeable systemsProceedings of the 1980 ACM conference on LISP and functional programming10.1145/800087.802796(107-117)Online publication date: 25-Aug-1980
https://dl.acm.org/doi/10.1145/800087.802796
Lieberman HHewitt C(1980)A session with TinkerProceedings of the 1980 ACM conference on LISP and functional programming10.1145/800087.802794(90-99)Online publication date: 25-Aug-1980
https://dl.acm.org/doi/10.1145/800087.802794
Prini G(1980)Explicit parallelism in LISP-like languagesProceedings of the 1980 ACM conference on LISP and functional programming10.1145/800087.802785(13-18)Online publication date: 25-Aug-1980
https://dl.acm.org/doi/10.1145/800087.802785

Abstract

Cited By

Recommendations

Proving temporal properties of concurrent programs: a non-temporal approach

Towards Information Flow Properties for Distributed Systems

Strong stable properties in distributed systems

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations