Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude
Η παρούσα εργασία παρουσιάζει ένα τυπικό σύστημα που επεκτείνει το πλαίσιο που έχει οριστεί από τους Kouzapas και συνεργάτες. Αποτελείται από μία γλώσσα έκφρασης πολιτικών ιδιωτικότητας, μία παραλλαγή του υπολογιστικού μοντέλου του π-λογισμού, καθώς και ένα σύστημα ελέγχου τύπων, το οποίο μπορεί να...
| Κύριοι συγγραφείς: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | bachelorThesis |
| Γλώσσα: | Greek |
| Έκδοση: |
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://dspace.lib.ntua.gr/handle/123456789/44439 |