A theory of communicating sequential processes
مجالات الاتصالات وبرامج الحوسبة