Specification and Proof Techniques for Serializers

@article{Hewitt1979SpecificationAP,
  title={Specification and Proof Techniques for Serializers},
  author={C. Hewitt and 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. 
72 Citations
Specifying and proving properties of sentinel processes
  • 5
Guardians for Concurrent Systems
  • 1
Specifying and Proving Properties of Guardians for Distributed Systems
  • 34
  • PDF
Coordinator: A Modification to the Monitor Concept
Specification of Synchronizing Processes
  • 14
Synthesizing Code for Resource Controllers
  • K. Ramamritham
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1985
  • 8
Dataflow Resource Managers and Their Synthesis from Open Path Expressions
  • 5
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 28 REFERENCES
Synchronization in actor systems
  • 47
Specifying and Proving Properties of Guardians for Distributed Systems
  • 34
  • PDF
Monitors: an operating system structuring concept
  • 1,842
  • PDF
Semantics of communicating parallel processes
  • 91
  • PDF
Crash Recovery in a Distributed Data Storage System
  • 353
  • PDF
The programming language Concurrent Pascal
  • P. B. Hansen
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1975
  • 518
  • PDF
Actor semantics of PLANNER-73
  • 55
The Smalltalk-76 programming system design and implementation
  • 287
  • PDF
The incremental garbage collection of processes
  • 313
  • PDF
...
1
2
3
...