Equivalences for concurrent and distributed systems: a survey of dissertation

Igor V. Tarasyuk. Equivalences for concurrent and distributed systems: a survey of dissertation. PhD thesis, University of Oldenburg, Germany, 1999. [doi]

Abstract

Abstract is missing.