Semantic methods in concurrency and communication

  • Selinger, Peter (PI)

Proyecto: Proyecto de Investigación

Detalles del proyecto

EstadoActivo
Fecha de inicio/Fecha fin1/1/05 → …

Financiación

  • Natural Sciences and Engineering Research Council of Canada: US$ 19.810,00

ASJC Scopus Subject Areas

  • Computer Science(all)