| |
| 1994 | ||
|---|---|---|
| 3 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni: Relating maximality-based semantics to action refinement in process algebras. FORTE 1994: 293-308 | |
| 1993 | ||
| 2 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni: Action Refinement in LOTOS. PSTV 1993: 341-354 | |
| 1 | Djamel-Eddine Saïdouni, Jean-Pierre Courtiat: Syntactic Action Refinement in Presence of Multiway Synchronisation. Semantics of Specification Languages 1993: 289-303 | |
| 1 | Jean-Pierre Courtiat | [1] [2] [3] |