Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha
116,35 €
By Ornela Dardha. Author Ornela Dardha. Type Systems for Distributed Programs: Components and Sessions. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Jetzt bei Ebay:
