Session-based Type Discipline for Pi Calculus with Matching

Bibliographic Details
Main Author: Marco Giunti (author)
Other Authors: Kohei Honda (author), Vasco T. Vasconcelos (author), Nobuko Yoshida (author)
Format: article
Language:eng
Published: 2010
Subjects:
Computer Science
Online Access:http://hdl.handle.net/10451/14473
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/14473

Internet

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

Similar Items