Publication | Closed Access
Detecting atomic sequences of predicates in distributed computations
50
Citations
10
References
1993
Year
Unknown Venue
EngineeringNuclear PhysicsNuclear DataComputer-aided VerificationFormal VerificationAtomic SequencesDistributed Computations AuthorsProgramming Language TheoryPhysicsFranceview ProfileComputer SciencePattern MatchingNuclear AstrophysicsTheory Of ComputingExperimental Nuclear PhysicsProgram AnalysisAutomated ReasoningNatural SciencesConcurrency TheoryFormal MethodsFrance IrisaParallel ProgrammingComputability Theory
article Free Access Share on Detecting atomic sequences of predicates in distributed computations Authors: Michel Hurfin IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCEView Profile , Noël Plouzeau IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCEView Profile , Michel Raynal IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCE IRISA - Campus de Beaulieu - 35042 RENNES Cedex - FRANCEView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 12Dec. 1993 pp 32–42https://doi.org/10.1145/174267.174271Published:01 December 1993Publication History 33citation242DownloadsMetricsTotal Citations33Total Downloads242Last 12 Months13Last 6 weeks0 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
| Year | Citations | |
|---|---|---|
Page 1
Page 1