Sign in
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Yehia Abd Alrahman
Marina Andric
Alessandro Beggiato
Alberto Lluch-Lafuente
Published in:
WRLA (2014)
Keyphrases
</>
object oriented
database
databases
information systems