nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialA Calculus of Global Interaction Based on Session Types
(2007) : Marco Carbone and Kohei Honda and Nobuko Yoshida
DOI: https://doi.org/10.1016/j.entcs.2006.12.041
#__important #behavioural_types #choreography #communication_centered_programming #logi
#my_bibtex
#__important #behavioural_types #choreography #communication_centered_programming #logi #my_bibtex
Last updated 3 years ago