1![WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, Italy WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, Italy](https://www.pdfsearch.io/img/a154a8ae4d61f134a7240f29d7f054bf.jpg) | Add to Reading ListSource URL: www.wischik.com- Date: 2004-02-26 12:15:18
|
---|
2![Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYSpringExam Two Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYSpringExam Two](https://www.pdfsearch.io/img/993677cee37f496bddd3ab3d2780d7ce.jpg) | Add to Reading ListSource URL: nil.csail.mit.eduLanguage: English - Date: 2015-01-05 06:37:34
|
---|
3![ZooKeeper’s atomic broadcast protocol: Theory and practice Andr´e Medeiros March 20, 2012 Abstract Apache ZooKeeper is a distributed coordination service for cloud computing, ZooKeeper’s atomic broadcast protocol: Theory and practice Andr´e Medeiros March 20, 2012 Abstract Apache ZooKeeper is a distributed coordination service for cloud computing,](https://www.pdfsearch.io/img/1ff090159d4fa4be8a15c7559cf4fa62.jpg) | Add to Reading ListSource URL: www.tcs.hut.fiLanguage: English - Date: 2012-03-26 07:23:40
|
---|
4![Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract](https://www.pdfsearch.io/img/b43580a1b0d3dcfa8b48937b3b79fdba.jpg) | Add to Reading ListSource URL: www.csse.uwa.edu.auLanguage: English - Date: 2012-04-29 23:34:56
|
---|
5![Knowledge for atomic commit protocols Knowledge for atomic commit protocols](https://www.pdfsearch.io/img/d6ce9966da5eeb71e6776603e0fe60c9.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2004-12-12 14:15:23
|
---|
6![BulkCommit: Scalable and Fast Commit of Atomic Blocks ∗ in a Lazy Multiprocessor Environment † Xuehai Qian , Josep Torrellas BulkCommit: Scalable and Fast Commit of Atomic Blocks ∗ in a Lazy Multiprocessor Environment † Xuehai Qian , Josep Torrellas](https://www.pdfsearch.io/img/606a62af83d810af9188b40a9d5fcbef.jpg) | Add to Reading ListSource URL: iacoma.cs.uiuc.eduLanguage: English - Date: 2013-10-25 19:56:50
|
---|
7![BulkCommit: Scalable and Fast Commit of Atomic Blocks in a Lazy Multiprocessor Environment Xuehai Qian, Benjamin Sahelices Josep Torrellas, Depei Qian BulkCommit: Scalable and Fast Commit of Atomic Blocks in a Lazy Multiprocessor Environment Xuehai Qian, Benjamin Sahelices Josep Torrellas, Depei Qian](https://www.pdfsearch.io/img/23ade8fe00d097b96c9bbe481deeb2ce.jpg) | Add to Reading ListSource URL: iacoma.cs.uiuc.eduLanguage: English - Date: 2014-02-19 00:20:13
|
---|
8![BulkCompactor: Optimized Deterministic Execution via Conflict-Aware Commit of Atomic Blocks∗ Yuelu Duan, Xing Zhou, Wonsun Ahn, and Josep Torrellas University of Illinois at Urbana-Champaign http://iacoma.cs.uiuc.edu A BulkCompactor: Optimized Deterministic Execution via Conflict-Aware Commit of Atomic Blocks∗ Yuelu Duan, Xing Zhou, Wonsun Ahn, and Josep Torrellas University of Illinois at Urbana-Champaign http://iacoma.cs.uiuc.edu A](https://www.pdfsearch.io/img/af4b3f6a7946fe5485bba03aac890808.jpg) | Add to Reading ListSource URL: iacoma.cs.uiuc.eduLanguage: English - Date: 2012-01-17 23:07:07
|
---|
9![ScalableBulk: Scalable Cache Coherence for Atomic Blocks in a Lazy Envionment Xuehai Qian, Wonsun Ahn, Josep Torrellas University of Illinois ScalableBulk: Scalable Cache Coherence for Atomic Blocks in a Lazy Envionment Xuehai Qian, Wonsun Ahn, Josep Torrellas University of Illinois](https://www.pdfsearch.io/img/2b46ad83867484948575660230e65c0f.jpg) | Add to Reading ListSource URL: iacoma.cs.uiuc.eduLanguage: English - Date: 2010-12-23 23:00:55
|
---|
10![Summary of Implementation of Actions Action 1: All States parties commit to pursue policies that are fully compatible with the Treaty and the objective of achieving a Summary of Implementation of Actions Action 1: All States parties commit to pursue policies that are fully compatible with the Treaty and the objective of achieving a](https://www.pdfsearch.io/img/1498600c7306f531026a648ea5886546.jpg) | Add to Reading ListSource URL: www.reachingcriticalwill.orgLanguage: English - Date: 2015-03-10 08:08:49
|
---|