Πιτσιλαδής, Γ. Β., & Στεφανέας, Π. (2016). Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών.
Παραπομπή Chicago StyleΠιτσιλαδής, Γεώργιος Β., and Πέτρος Στεφανέας. Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών, 2016.
Παραπομπή MLAΠιτσιλαδής, Γεώργιος Β., and Πέτρος Στεφανέας. Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών, 2016.