The pi-calculus with polyadic synchronization
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- Joana Martinho
10. semester, Master Software Systems Engineering SSE
In this report we study the pi-calculus with polyadic synchronization: an extension of
the pi-calculus that generalizes the synchronization mechanism by allowing channels to be
sequences of names. In particular, we extend the pi-calculus with polyadic synchronization
with cryptographic primitives and then prove the last can be encoded in the regular pi-
calculus with polyadic synchronization. Further, we prove that the proposed encoding is
sound and complete with respect to barbed congruence which we show coincides with early
congruence.
Sprog | Engelsk |
---|---|
Udgivelsesdato | sep. 2004 |