PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hickey, Jason"

Author of the publication

copydeleteadd this publication to your clipboard
A Mechanism for Sequential Consistency in a Distributed Objects System.

, , , and . ISCA PDCS, page 284-289. ISCA, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jason Kennedy Appelbaum University of Stuttgart

 

Other publications of authors with the same name

MojaveFS: Providing Sequential Consistency in a Distributed Objects System., , , and . ISPDC, page 66-73. IEEE Computer Society, (2006)Real World OCaml - Functional Programming for the Masses., , and . O'Reilly, (2013)Specifications and Proofs for Ensemble Layers., , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 119-133. Springer, (1999)Practical Reflection for Sequent Logics., , , and . Electron. Notes Theor. Comput. Sci., 174 (5): 79-94 (2007)A Mechanism for Sequential Consistency in a Distributed Objects System., , , and . ISCA PDCS, page 284-289. ISCA, (2004)Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments., and . HotDep, USENIX Association, (2006)Distributed speculative execution for reliability and fault tolerance: an operational semantics., and . Distributed Computing, 21 (6): 433-455 (2009)Data-driven metasurface discovery., , , , , and . CoRR, (2018)A Proof Environment for the Development of Group Communication Systems., , and . CADE, volume 1421 of Lecture Notes in Computer Science, page 317-332. Springer, (1998)Rewriting UNITY., , and . RTA, volume 2706 of Lecture Notes in Computer Science, page 138-147. Springer, (2003)