Session-based type discipline for pi calculus with matching

TitleSession-based type discipline for pi calculus with matching
Publication TypeJournal Article
Year of Publication2009
AuthorsGiunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida
JournalIn the preproceedings of PLACES
Volume9