Checking Linearizability of Encapsulated Extended Operations

Publisher  Proceedings of European Symposium on Programming (ESOP)

Details

TypeInproceedings
> Publications > Checking Linearizability of Encapsulated Extended Operations