BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
Collaborated with:
S.King J.Woodcock
Talks about:
ravenscar (2) protect (1) channel (1) semant (1) object (1) extend (1) circus (1) csp (1)

Person: Diyaa-Addein Atiya

DBLP DBLP: Atiya:Diyaa=Addein

Contributed to:

Ada-Europe 20052005
FME 20032003

Wrote 2 papers:

AdaEurope-2005-AtiyaK #csp
Extending Ravenscar with CSP Channels (DAA, SK), pp. 79–90.
FME-2003-AtiyaKW #semantics
A Circus Semantics for Ravenscar Protected Objects (DAA, SK, JW), pp. 617–635.

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.