Documents publiés en "1997"

Département de génie électrique

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 (106-115). Lien externe

Mullins, J. (1997). On an effective hierarchy of communicating processes : separation principle and testing. Theoretical Computer Science, 174(1-2), 231-246. Lien externe

Département de génie informatique et génie logiciel

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 (106-115). Lien externe

Mullins, J. (1997). On an effective hierarchy of communicating processes : separation principle and testing. Theoretical Computer Science, 174(1-2), 231-246. Lien externe