Title: An executable specification, analyzer and verifier for RMO (relaxed memory order)
Abstract: Article Free Access Share on An executable specification, analyzer and verifier for RMO (relaxed memory order) Authors: Seungjoon Park Computer Systems Laboratory, Stanford University Computer Systems Laboratory, Stanford UniversityView Profile , David L. Dill Computer Systems Laboratory, Stanford University Computer Systems Laboratory, Stanford UniversityView Profile Authors Info & Claims SPAA '95: Proceedings of the seventh annual ACM symposium on Parallel algorithms and architecturesJuly 1995 Pages 34–41https://doi.org/10.1145/215399.215413Online:20 July 1995Publication History 40citation320DownloadsMetricsTotal Citations40Total Downloads320Last 12 Months7Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF