Search
Now showing items 1-1 of 1
Specification and Proof Techniques for Serializers
(1977-08-01)
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which ...