The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
About Nonatomic Operations Specifying Concurrent Program Modules Specification and Proof of a Fault-Tolerant Real-Time Algorithm The Weak Byzantine Generals Problem PHIL: A Semant
T E X T F I L E Shttp://textfiles.com/politics/
3886 Psychological Operations in Guerrila Warfare govtovrt.txt 13440 How to Overthrow a Country, by Senator Bunker great-wo 17245 The Great Work by John Perry Barlow (January, 199
Miller Microcomputer Services - Index Pagehttp://www.millermicro.com/
companies say they run operations on open source (2015), Linux Laptops On The International Space Station (2015), Linux and IBM , Who's writing Linux today? Capitalists (2015), No
Business and pleasure by Dick and Jill Miller of Miller Microcomputer Services.
POCOCOPhttps://pococop.eu/
and XY-symmetric operations [ arXiv ] M. Bodirsky, S. Guzmán Pro: Hereditary First-Order Model Checking [ arXiv ] P. Marimon, M. Pinsker: Minimal operations over permutation grou
GuestArticles index [LWN.net]https://lwn.net/Archives/GuestIndex/
more read-modify-write operations (March 19, 2021) Lockless patterns: some final topics (March 29, 2021) Scaling the KVM community (November 15, 2022) Bosscher, Steven GCC gets a
USENIX - 10th USENIX Security Symposiumhttps://www.usenix.org/legacy/events/sec01/tech.html
Throughput for Short Operations Mark Lindemann, IBM T.J. Watson Research Center, and Sean W. Smith, Dartmouth College INVITED TALKS Grand Ballroom, Salons I/II Loaning Your Soul t
Find more...