Specification and Proof Techniques for Serializers

dc.creator	Atkinson, Russell
dc.creator	Hewitt, Carl
dc.date	2004-10-01T20:34:13Z
dc.date	2004-10-01T20:34:13Z
dc.date	1977-08-01
dc.date.accessioned	2013-10-09T02:41:06Z
dc.date.available	2013-10-09T02:41:06Z
dc.date.issued	2013-10-09
dc.identifier	AIM-438
dc.identifier	http://hdl.handle.net/1721.1/5756
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	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 may be described as a kind of protection mechanism, in that it prevents improper orders of access to a protected resource. Serializers are a generalization and improvement of the monitor mechanism of Brinch-Hansen and Hoare.
dc.format	37 p.
dc.format	11673723 bytes
dc.format	8252798 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-438
dc.title	Specification and Proof Techniques for Serializers

Files in this item

Files	Size	Format	View
There are no files associated with this item.