Monter d'un niveau |
Desharnais, J., Hodgson, B., & Mullins, J. (1997). Relation algebras are models of noncommutative propositional linear logic. Dans Brink, C., & Schmidt, G. (édit.), Relational methods in computer science (p. 106-115). Lien externe
Desharnais, J., Mili, A., Mullins, J., & Slimani, Y. (1995). Semantics of concurrent programming. Dans Somaya, A. Y. (édit.), Parallel and distributed computing handbook (p. 24-74). Non disponible