The following pages link to Andrea Cerone (Q1664151):
Displaying 10 items.
- Transaction chopping for parallel snapshot isolation (Q1664153) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- Modelling probabilistic wireless networks (Q2848371) (← links)
- Analysing Snapshot Isolation (Q4561498) (← links)
- (Q4963997) (← links)
- (Q5111640) (← links)
- Parameterised Linearisability (Q5167830) (← links)
- Modelling MAC-Layer Communications in Wireless Systems (Q5246724) (← links)
- A Framework for Transactional Consistency Models with Atomic Visibility (Q5357694) (← links)
- Analysing Snapshot Isolation (Q5361917) (← links)