Carlo Spaccasassi

Learn More
We develop a theory of bisimulations for a simple language containing communicating transactions, obtained by dropping the isolation requirement of standard transactions. Such constructs have emerged as a useful programming abstraction for distributed systems. In systems with communicating transactions actions are tentative, waiting for certain transactions(More)
Transactional Memory is a now popular abstraction to implement mutual exclusion in concurrent shared-memory systems. TM achieves this by effectively isolating processes from each other, but for this reason it is not suitable for implementing consensus, where processes need to communicate. Recently proposed abstractions for streamlining consensus in(More)
  • 1