nopeDec 5, 2023
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
The Polyadic pi-Calculus: A Tutorial

nopeJun 13, 2023
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
Policy as Types

Drossopoulou and Noble argue persuasively for the need for a means to express policy in object-capability-based systems. We investigate a practical means to realize their aim via the Curry-Howard isomorphism. Specifically, we investigate representing policy as types in a behavioral type system for the RHO-calculus, a reflective higher-order variant of the pi-calculus.

arXiv.org
nopeMay 7, 2023
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
nopeMar 5, 2023
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
nopeAug 11, 2022
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
nopeJul 22, 2022
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
nopeJul 6, 2022
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