TY - GEN AU - Camolesi,Almir Rogério TI - An adaptive model for spefication of distributed systems ER -