Λογισμός των Επικοινωνούντων Συστημάτων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
μ r2.7.2) (Ρομπότ: Τροποποίηση: ru:Исчисление взаимодействующих систем |
||
Γραμμή 43:
[[Κατηγορία:Λογισμοί διεργασιών]]
[[Κατηγορία:Ταυτοχρονισμός]]
{{ενσωμάτωση κειμένου|en|Calculus of communicating systems}}▼
[[ca:CCS]]
[[en:Calculus of communicating systems]]
[[es:Cálculo de sistemas comunicantes]]
[[ru:Исчисление
▲{{ενσωμάτωση κειμένου|en|Calculus of communicating systems}}
| |||