|
Search the dblp DataBase
Abdellatif Obaid:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
A Hoare-style Proof System for LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:49-62 [Conf]
- Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
Functional approach to protocols specification. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:395-402 [Conf]
- S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
An expressive trace theory for LOTOS. [Citation Graph (0, 0)][DBLP] PSTV, 1991, pp:159-175 [Conf]
- Abdellatif Obaid, Luigi Logrippo
An Atomic Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP] PSTV, 1987, pp:91-104 [Conf]
- J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid
Structure of a LOTOS interpreter. [Citation Graph (0, 0)][DBLP] SIGCOMM, 1986, pp:167-175 [Conf]
- Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri
An Interpreter for LOTOS, a Specification Language for Distributed Systems. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1988, v:18, n:4, pp:365-385 [Journal]
Search in 0.001secs, Finished in 0.002secs
|