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