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

  1. 18. Best, E., Devillers, R., Kiehn, A., & Pomello, L. (1989). Fully Concurrent Bisimulation: (LIT 202). ULB: Laboratoire d'informatique théorique.
  2. 19. Devillers, R. (1985). Concurrent Behaviour : Sequences, Processes and Programming Languages: (GMD-studien 99). Bonn: GMD.
  3. 20. Devillers, R. (1983). On the Maximally Concurrent Evolution of a COSY System: (ASM 106). University of Newcastle-upon-Tyne: Computing Laboratory.
  4. 21. Devillers, R. (1982). The Train Set Strikes Again!: (ASM 105). University of Newcastle-upon-Tyne: Computing Laboratory.
  5. 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.
  6. 23. Devillers, R. (1980). Distributed Starvation Prevention by Hierarchisation: (LIT 102). ULB: Laboratoire d'informatique théorique.
  7. 24. Devillers, R. (1980). Expressions-Chemins et Réseaux de Petri: (LIT 103). ULB: Laboratoire d'informatique théorique.
  8. 25. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). The Hyperfast Banker: (ASM 55). University of Newcastle-upon-Tyne: Computing Laboratory.
  9. 26. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). A Simplified Hyperfast Banker: (ASM 56). University of Newcastle-upon-Tyne: Computing Laboratory.
  10. 27. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). A Distributed Banker: (ISF-Report 79.05). Bonn: GMD.
  11. 28. Devillers, R., Lauer, P. P., & Torrigiani, P. R. (1979). On the Banker with Several Currencies: (ASM 57). University of Newcastle-upon-Tyne: Computing Laboratory.
  12. 29. Devillers, R. (1977). Checking Adequacy of GR-paths: ASM 28. 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 >>