Session-based Type Discipline for Pi Calculus with Matching

Detalhes bibliográficos
Autor principal: Marco Giunti (author)
Outros Autores: Kohei Honda (author), Vasco T. Vasconcelos (author), Nobuko Yoshida (author)
Formato: article
Idioma:eng
Publicado em: 2010
Assuntos:
Computer Science
Texto completo:http://hdl.handle.net/10451/14473
País:Portugal
Oai:oai:repositorio.ul.pt:10451/14473

Texto Completo

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

Registros relacionados