A Process Calculus of Atomic Commit

Bocchi, Laura and Wischik, Lucian (2004) A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105 . pp. 119-132. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2004.05.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://doi.org/10.1016/j.entcs.2004.05.003
Item Type: Article
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Laura Bocchi
Date Deposited: 28 Nov 2016 10:13 UTC
Last Modified: 29 Nov 2016 15:21 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/59178 (The current URI for this page, for reference purposes)
Bocchi, Laura: https://orcid.org/0000-0002-7177-9395
  • Depositors only (login required):