Travelled to:1 × France
1 × Spain
Collaborated with:M.Andric A.Beggiato A.Lluch-Lafuente R.D.Nicola M.Loreti F.Tiezzi R.Vigo
Talks about:communic (1) calculus (1) attribut (1) program (1) concurr (1) memori (1) effici (1) under (1) relax (1) model (1)
Person: Yehia Abd Alrahman
DBLP: Alrahman:Yehia_Abd
Contributed to:
2015
2014Wrote 2 papers:
- SAC-2015-AlrahmanNLTV #calculus #communication
- A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.
- WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.