Documents publiés en "2001"

H

Hains, G., Loulergue, F., & Mullins, J. (2001). Concrete Data Structures and Functional Parallel Programming. Theoretical Computer Science, 258(1-2), 233-267. Lien externe

M

Mullins, J., & Yeddes, M. (avril 2001). Two proof methods for bisimulation-based non-deterministic admissible interference [Communication écrite]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Washington, D.C.. Non disponible

Y

Yeddes, M., & Mullins, J. (septembre 2001). Quasi-synchronous approach for distributed control in synchronous systems [Communication écrite]. IEEE International Symposium on Intelligent Control (ISIC 2001), Mexico City, Mexico. Lien externe