Linear Logic and Coordination for Parallel Programming

Detalhes bibliográficos
Autor principal: Flávio Manuel Fernandes Cruz (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2015
Assuntos:
Texto completo:https://hdl.handle.net/10216/111040
País:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/111040