%0 Conference Paper %1 conf/dimacs/Lynch94 %A Lynch, Nancy A. %B Specification of Parallel Algorithms %D 1994 %E Blelloch, Guy E. %E Chandy, K. Mani %E Jagannathan, Suresh %I DIMACS/AMS %K dblp %P 125-142 %T Atomic Transactions for Multiprocessor Programming: A Formal Approach. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#Lynch94 %V 18 %@ 978-0-8218-0253-3

@inproceedings{conf/dimacs/Lynch94, added-at = {2022-06-09T00:00:00.000+0200}, author = {Lynch, Nancy A.}, biburl = {https://www.bibsonomy.org/bibtex/2f9a61c681571a0a3a6ad91e5910ce87e/dblp}, booktitle = {Specification of Parallel Algorithms}, crossref = {conf/dimacs/dimacs18}, editor = {Blelloch, Guy E. and Chandy, K. Mani and Jagannathan, Suresh}, ee = {https://doi.org/10.1090/dimacs/018/10}, interhash = {9b57eb4f87bc3b5b56de9261bdea37ca}, intrahash = {f9a61c681571a0a3a6ad91e5910ce87e}, isbn = {978-0-8218-0253-3}, keywords = {dblp}, pages = {125-142}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:31.000+0200}, title = {Atomic Transactions for Multiprocessor Programming: A Formal Approach.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs18.html#Lynch94}, volume = 18, year = 1994 }