Laws of order
DOI10.1145/1926385.1926442zbMath1284.68423OpenAlexW4244624509MaRDI QIDQ5408568
Maged M. Michael, Petr Kuznetsov, Hagit Attiya, Martin Vechev, Danny Hendler, Rachid Guerraoui
Publication date: 10 April 2014
Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1926385.1926442
Parallel algorithms in computer science (68W10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
This page was built for publication: Laws of order