Show simple item record

dc.contributor.authorDE VRIES, EDSKOen
dc.contributor.authorHENNESSY, MATTHEWen
dc.contributor.authorKOUTAVAS, VASILEIOSen
dc.date.accessioned2011-11-18T12:30:29Z
dc.date.available2011-11-18T12:30:29Z
dc.date.issued2010en
dc.date.submitted2010en
dc.identifier.citationEdsko de Vries, Vasileios Koutavas and Matthew Hennessy., Communicating Transactions, Lecture Notes in Computer Science, 21st International Conference on Concurrency Theory (CONCUR 2010), Paris, France, 6269, 2010, Springer, 2010, 569-583en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/60813
dc.descriptionPUBLISHEDen
dc.descriptionParis, Franceen
dc.description.abstractWe propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error re- covery in distributed systems. We extend CCS with this construct and give a simple semantics for the extended calculus, called TransCCS. We develop a behavioural theory which is sound and complete with respect to the may-testing preorder, and use it to prove interesting laws and reason compositionally about example systems. Finally, we prove that communicating transactions do not increase the observational power of processes; thus CCS equivalences are preserved in the extended language.en
dc.description.sponsorshipThis research was supported by SFI project SFI 06 IN.1 1898.en
dc.format.extent569-583en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseries6269en
dc.relation.ispartofseries2010en
dc.rightsYen
dc.subjectComputer scienceen
dc.subjectlanguage constructen
dc.titleCommunicating Transactionsen
dc.title.alternativeLecture Notes in Computer Scienceen
dc.title.alternative21st International Conference on Concurrency Theory (CONCUR 2010)en
dc.typeConference Paperen
dc.contributor.sponsorScience Foundation Ireland (SFI)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenneen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/vkoutaven
dc.identifier.peoplefinderurlhttp://people.tcd.ie/devrieeen
dc.identifier.rssinternalid71470en
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-642-15375-4_39en
dc.contributor.sponsorGrantNumberSFI 06 IN.1 1898.en
dc.identifier.rssurihttp://dx.doi.org/10.1007/978-3-642-15375-4_39en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record