الأنظمة المتزامنة, علوم الحاسوب, لغات البرمجة, نظرية الحوسبةلغة العمليات الزمنية (Temporal Process Language)