Formalizing workflows using the event calculus


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2000

Öğrenci: YAKUP YILDIRIM

Danışman: FEHİME NİHAN ÇİÇEKLİ