Vaughan R. Pratt
-
Rough sets and infomorphisms: towards approximation of relations in distributed environments
Fundamenta Informaticae - Concurrency specification and programming