Collaborated with:K.Djemame A.Mehemmel A.Choutri G.Reggio D.C.Gilles L.M.Mackenzie
Talks about:distribut (2) parallel (2) concurr (2) system (2) simul (2) model (2) net (2) approach (1) conserv (1) rewrit (1)
Person: Mohamed Bettaz
DBLP: Bettaz:Mohamed
Contributed to:
1998199619941993Wrote 4 papers:
- PDP-1998-DjemameB #logic #parallel #simulation
- Parallel simulation in rewriting logic: some observations (KD, MB), pp. 197–203.
- PDP-1996-DjemameGMB #approach #distributed #simulation
- Distributed Simulation of ECATNets: A Conservative Approach (KD, DCG, LMM, MB), pp. 518–525.
- PDP-1994-BettazCR #concurrent #distributed #lifecycle #modelling #parallel
- A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency (MB, AC, GR), pp. 551–558.
- PDP-1993-BettazM #concurrent #modelling #proving
- Modelling and proving of truly concurrent systems with CATNets (MB, AM), pp. 265–272.