( en | de | ru )

 

Disambiguation of "Hickey, Jason"

Author of the publication

copydeleteadd this publication to your clipboard
Building reliable, high-performance communication systems from components.

, , , , , , and . SOSP, page 80-92. ACM, (1999)Operating System Review 33(5).

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.

Raymond Hickey

Birgit Hickey

Ian Jason

Jason Miskuly

Jason Crook

 

Other publications of authors with the same name

Specifications and Proofs for Ensemble Layers., , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 119-133. Springer, (1999)MojaveFS: Providing Sequential Consistency in a Distributed Objects System., , , and . ISPDC, page 66-73. IEEE Computer Society, (2006)A Mechanism for Sequential Consistency in a Distributed Objects System., , , and . PDCS, page 284-289. ISCA, (2004)Compiler implementation in a formal logical framework., , and . MERLIN, ACM, (2003)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)Extensible Hierarchical Tactic Construction in a Logical Framework., and . TPHOLs, volume 3223 of Lecture Notes in Computer Science, page 136-151. Springer, (2004)Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments., and . HotDep, USENIX Association, (2006)The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications., , and . IPDPS, page 1-8. IEEE, (2007)