Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (35)

  1. 15. Devillers, R. (1990). Interrupts and exceptions: a short introduction and some clarification: (memorandum ESPRIT-DEMON WG9). DEMON WG9.
  2. 16. Devillers, R. (1989). The Banker Problem: (memorandum ESPRIT-DEMON WG6). DEMON WG6.
  3. 17. Best, E., Devillers, R., Kiehn, A., & Pomello, L. (1989). Fully Concurrent Bisimulation: (LIT 202). ULB: Laboratoire d'informatique théorique.
  4. 18. Devillers, R., & Svarna, A. (1989). Partial order logics for axiomatizing concurrent systems: (LIT 212). ULB: Laboratoire d'informatique théorique.
  5. 19. Devillers, R. (1985). Concurrent Behaviour : Sequences, Processes and Programming Languages: (GMD-studien 99). Bonn: GMD.
  6. 20. Devillers, R. (1983). On the Maximally Concurrent Evolution of a COSY System: (ASM 106). University of Newcastle-upon-Tyne: Computing Laboratory.
  7. 21. Devillers, R. (1982). The Train Set Strikes Again!: (ASM 105). University of Newcastle-upon-Tyne: Computing Laboratory.
  8. 22. Cocu, J., & Devillers, R. (1980). On the Implementation of a Class of Allocation Strategies Inducing Bounded Delays Only: (LIT 95). ULB: Laboratoire d'informatique théorique.
  9. 23. Devillers, R. (1980). Expressions-Chemins et Réseaux de Petri: (LIT 103). ULB: Laboratoire d'informatique théorique.
  10. 24. Devillers, R. (1980). Distributed Starvation Prevention by Hierarchisation: (LIT 102). ULB: Laboratoire d'informatique théorique.
  11. 25. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). The Hyperfast Banker: (ASM 55). University of Newcastle-upon-Tyne: Computing Laboratory.
  12. 26. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). On the Banker with Several Currencies: (ASM 57). University of Newcastle-upon-Tyne: Computing Laboratory.

  13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>