Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

The Schorr-Waite graph marking algorithm

From MaRDI portal
Publication:599496
Jump to:navigation, search

DOI10.1007/BF00289068zbMath0414.68015MaRDI QIDQ599496

David Gries

Publication date: 1979

Published in: Acta Informatica (Search for Journal in Brave)


zbMATH Keywords

Schorr-Waite graph marking algorithm


Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Algorithms in computer science (68W99)


Related Items (4)

Implementing (nondeterministic) parallel assignments ⋮ The Schorr-Waite marking algorithm revisited ⋮ Matching Logic: An Alternative to Hoare/Floyd Logic ⋮ The correctness of the Schorr-Waite list marking algorithm




Cites Work

  • Is “sometime” sometimes better than “always”?
  • An efficient machine-independent procedure for garbage collection in various list structures
  • An axiomatic basis for computer programming
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item




This page was built for publication: The Schorr-Waite graph marking algorithm

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:599496&oldid=12489718"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 30 January 2024, at 07:50.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki