Formal specification of the epsilon serializibility considering quality of service.

Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, Angelo Perkusich

Browse the full SMC paper archive.