dblp.uni-trier.dewww.uni-trier.de

Abdellatif Obaid

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994
6 Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid: Functional approach to protocols specification. PSTV 1994: 395-402
1991
5 S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: An expressive trace theory for LOTOS. PSTV 1991: 159-175
1990
4 S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: A Hoare-style Proof System for LOTOS. FORTE 1990: 49-62
1988
3 Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri: An Interpreter for LOTOS, a Specification Language for Distributed Systems. Softw., Pract. Exper. 18(4): 365-385 (1988)
1987
2 Abdellatif Obaid, Luigi Logrippo: An Atomic Calculus of Communicating Systems. PSTV 1987: 91-104
1986
1EEJ. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid: Structure of a LOTOS interpreter. SIGCOMM 1986: 167-175

Coauthor Index

1Jakub Bojanowski [6]
2J. P. Briand [1] [3]
3M. C. Fehri [1] [3]
4S. Gallouzi [4] [5]
5Michal Iglewski [6]
6Luigi Logrippo [1] [2] [3] [4] [5]
7Jan Madey [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)