BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alrahman:Yehia_Abd

Contributed to:

SAC 20152015
WRLA 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.