Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B...”
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...-Kelly) -- Transactions: From Local Atomicity to Atomicity in the Cloud (David Lomet) -- From DSS to MILS...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Compensable Transactions -- Axiomatizing Extended Temporal Logic Fragments Via Instantiation -- Deciding Weak...”