Local Specification of Distributed Families of Sequential Objects.

Hans-Dieter Ehrich, Amlcar Sernadas

Browse the full COMPASS paper archive.