Multiplex Transactions

Multiplex transactions that modify shared objects behave according to certain rules.