 | 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 |
|---|
| 1 |  | J. P. Briand,
M. C. Fehri,
Luigi Logrippo,
Abdellatif Obaid:
Structure of a LOTOS interpreter.
SIGCOMM 1986: 167-175 |
