Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (35)
  1. 6. Devillers, R. (1994). The Synchronisation Operator Revisited for the Petri Box Calculus: (LIT 290). ULB: Laboratoire d'informatique théorique.
  2. 7. Devillers, R. (1993). S-invariant Analysis of Petri Boxes: (LIT 273). ULB: Laboratoire d'informatique théorique.
  3. 8. Devillers, R. (1993). On a More Liberal Synchronisation Operator for the Petri Box Calculus: (LIT 281). ULB: Laboratoire d'informatique théorique.
  4. 9. Devillers, R. (1993). Towards a General Relabelling Operator for the Petri Box Calculus: (LIT 274). ULB: Laboratoire d'informatique théorique.
  5. 10. Devillers, R. (1993). S-invariant Analysis of General Refined Petri Boxes: (LIT 291). ULB: Laboratoire d'informatique théorique.
  6. 11. Devillers, R. (1993). Modelling Petri Boxes are not too infinite: (LIT 284). ULB: Laboratoire d'informatique théorique).
  7. 12. Best, E., Devillers, R., & Esparza, J. (1992). General Refinement and Recursion for the Box Calculus: (Hildesheimer Informatik-Bericht 26/92). Hildesheim: Hildesheimer Informatik.
  8. 13. Devillers, R. (1992). Tree Interfaces in the Petri Box Calculus: (LIT 265). ULB: Laboratoire d'informatique théorique.
  9. 14. Massart, T., & Devillers, R. (1991). Agents or expressions: which semantics for a process calculus: (LIT 230). ULB: Laboratoire d'informatique théorique.
  10. 15. Devillers, R. (1990). Interrupts and exceptions: a short introduction and some clarification: (memorandum ESPRIT-DEMON WG9). DEMON WG9.
  11. 16. Devillers, R. (1989). The Banker Problem: (memorandum ESPRIT-DEMON WG6). DEMON WG6.
  12. 17. Devillers, R., & Svarna, A. (1989). Partial order logics for axiomatizing concurrent systems: (LIT 212). ULB: Laboratoire d'informatique théorique.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>