Typsysteme für verteilte Programme: Komponenten und Sitzungen, Hardcover von...
115,85 €
(Ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. 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:
