The Polyadic π-Calculus: A Tutorial
(1991) Milner, Robin
Url: http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-180/
#my_bibtex #__printed #commitment #concurrence #language #naming #pi_calculus

Policy As Types
(2013) : Meredith, Lucius G Stay, Mike ...
url: http://arxiv.org/abs/1307.7766
#RHO_calculus #__printed #curry_howard #types #logic #message_passing #behaviours #semantics #concurrency #type_checking #pi_calculus #policy #my_bibtex

The Polyadic π-Calculus
(1991) : Milner, Robin
DOI: https://doi.org/10.1007/978-3-642-58041-3_6
#language #naming #pi_calculus #commitment #concurrence #__printed #my_bibtex

A Calculus for Modeling Software Components
(2003) : Nierstrasz, Oscar Achermann, F...
DOI: https://doi.org/10.1007/b14033
#pi_calculus #composable_interfaces #explicit_namespaces #piccola #software_engineering #components #my_bibtex

Multiparty asynchronous session types
(2008) : Kohei Honda and Nobuko Yoshida and Marco Carbone
DOI: https://doi.org/10.1145/1328438.1328472
#__important #global_types #pi_calculus #protocol #session_types
#my_bibtex

Session Types as Intuitionistic Linear Propositions
(2010) : Lu{\'i}s Caires and Frank Pfenning
DOI: https://doi.org/10.1007/978-3-642-15375-4_16
#__important #behavioural_types #linear_logic #pi_calculus #protocol #session_types
#my_bibtex

A Calculus for Modeling Software Components
(2003) : Nierstrasz, Oscar and Achermann, Franz
DOI: https://doi.org/10.1007/b14033
#components #composable_interfaces #explicit_namespaces #pi_calculus #piccola #software_engineering
#my_bibtex