A logical characterization of the observational equivalence of processes


Prof. Dr. MEHMET HALİT S. OĞUZTÜZÜN

Tez Türü: Doktora

Tezin Yürütüldüğü Kurum: The University Of Iowa, Department Of Computer Science, Amerika Birleşik Devletleri

Tez Danışmanı: MURALIDHARAN M.N.

Tezin Onay Tarihi: 1991