Χρήστης:Pg45tos/πρόχειρο: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Νέα σελίδα: {{πρόχειρο χρήστη}} <!-- ΕΠΕΞΕΡΓΑΣΤΕΙΤΕ ΚΑΤΩ ΑΠΟ ΑΥΤΗ ΤΗ ΓΡΑΜΜΗ --> Λογισμός π Στην Πληροφορική|ε... |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 5:
Στην [[Πληροφορική|επιστήμη υπολογιστών]] ο '''Λογισμός π''' (αγγλ. π-Calculus) αποτελεί μια υποκατηγορία του [[Λογισμός Διεργασιών|Λογισμού Διεργασιών]] και έχει ως στόχο όπως και ο Λογισμός Διεργασιών την τυπική μοντελοποίηση και μελέτη παράλληλων συστημάτων. Αναπτύχθηκε το 1992 από τους [[:en: Robin Milner|Robin Milner]], Joachim Parrow και David Walker και μπορεί να θεωρηθεί η συνέχεια της δουλειάς του Milner πάνω στο λογισμό διεργασιών με τίτλο "[[:en: Calculus of Communicating Systems|Calculus of Communicating Systems]]".
== Βασικές έννοιες ==
Βασικές έννοιες στο λογισμό π αποτελούν οι '''διεργασίες''' ή αλλιώς '''πράκτορες''' (αγγλ. agents) και τα '''κανάλια επικοινωνίας'''. Ένας πράκτορας ορίζεται ως μια οντότητα που παρουσιάζει κάποια συμπεριφορά και ένα κανάλι επικοινωνίας αποτελεί το μέσο για την επικοινωνία μεταξύ των πρακτόρων.
Το βασικό χαρακτηριστικό που κάνει το λογισμό π να διαφέρει από άλλους λογισμούς διεργασιών είναι πως οι συνδέσεις μεταξύ των πρακτόρων μπορούν να αλλάξουν αυθαίρετα καθώς πάνω απ' τα κανάλια επικοινωνίας μπορούν να μεταφερθούν πληροφορίες ικανές να αλλάξουν τις συνδέσεις αυτές.
== Αναφορές ==
<ref>{{cite journal|last=Milner|first=Robin|coauthors=Joachim Parrow, David Walker|title=A calculus of mobile processes, I|journal=Information and Computation|year=1992|volume=100|pages=1 - 40|doi=10.1016/0890-5401(92)90008-4|url=http://www.sciencedirect.com/science/article/pii/0890540192900084}}</ref>
| |||