Specification and Proof Techniques for Serializers

@article{Hewitt1979SpecificationAP,
  title={Specification and Proof Techniques for Serializers},
  author={Carl E. Hewitt and Russell R. Atkinson},
  journal={IEEE Transactions on Software Engineering},
  year={1979},
  volume={SE-5},
  pages={10-23}
}
This paper presents a specification language, implementation mechanism, and proof techniques for problems involving the arbitration of concurrent requests to shared protected resources whose integrity must be preserved. This mechanism is the serializer, which may be described as a kind of protection mechanism, in that it prevents improper orders of access to a protected resource. Serializers are a more structured form of the monitor mechanism of Brinch Hansen and Hoare. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

134 Citations

01020'78'88'99'10
Citations per Year
Semantic Scholar estimates that this publication has 134 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

An axiomatic denotation specification of a concurrent programming language

  • G. Attardi
  • 1977

Incremental garbage collection of processes

  • H. J. Baker, Jr., C. Hewitt
  • MIT Artificial Intelligence Memo 454, Dec. .
  • 1977
1 Excerpt

Coordination of parallel processes in the actor model of computation , " MIT Lab

  • I. Greif
  • Comput . Sci . TR 173 , June
  • 1976

Similar Papers

Loading similar papers…