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: Najm:Elie
Facilitated 1 volumes:
PrCoContributed to:
2008
1996
1991Wrote 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.