A concurrent programming language with session types

Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013

Detalhes bibliográficos
Autor principal: Franco, Juliana Patrícia Vicente (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2014
Assuntos:
Tipos de sessão
Concorrência
Tipos refinados
Cálculo pi
Canais de comunicação
Teses de mestrado - 2013
Texto completo:http://hdl.handle.net/10451/10017
País:Portugal
Oai:oai:repositorio.ul.pt:10451/10017

Texto Completo

http://hdl.handle.net/10451/10017

Registos relacionados