Login / Signup

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Yehia Abd AlrahmanMarina AndricAlessandro BeggiatoAlberto Lluch-Lafuente
Published in: WRLA (2014)
Keyphrases
  • object oriented
  • database
  • databases
  • information systems