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 × Germany
1 × Italy
Collaborated with:
I.Hamid F.Olsen J.Stefani
Talks about:
reactiv (2) ravenscar (1) calculus (1) promela (1) process (1) concurr (1) analysi (1) semant (1) object (1) rspin (1)

Person: Elie Najm

DBLP DBLP: Najm:Elie

Facilitated 1 volumes:

ICMT 2008PrCo

Contributed to:

Ada-Europe 20082008
TACAS 19961996
TAPSOFT, Vol.1: CAAP 19911991

Wrote 3 papers:

AdaEurope-2008-HamidN #ada #semantics
Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
TACAS-1996-NajmO
Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.
CAAP-1991-NajmS #analysis #calculus #concurrent #process
Object-Based Concurrency: A Process Calculus Analysis (EN, JBS), pp. 359–380.

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.