Authors: BABAOGLU O BARTOLI A DINI G

Citation: O. Babaoglu et al., ENRICHED VIEW SYNCHRONY - A PROGRAMMING PARADIGM FOR PARTITIONABLE ASYNCHRONOUS DISTRIBUTED SYSTEMS, I.E.E.E. transactions on computers, 46(6), 1997, pp. 642-658

Authors: DAVOLI R GIACHINI LA BABAOGLU O AMOROSO A ALVISI L

Citation: R. Davoli et al., PARALLEL COMPUTING IN NETWORKS OF WORKSTATIONS WITH PARALEX, IEEE transactions on parallel and distributed systems, 7(4), 1996, pp. 371-384

Authors: BABAOGLU O FROMENTIN E RAYNAL M

Citation: O. Babaoglu et al., A UNIFIED FRAMEWORK FOR THE SPECIFICATION AND RUN-TIME DETECTION OF DYNAMIC PROPERTIES IN DISTRIBUTED COMPUTATIONS, The Journal of systems and software, 33(3), 1996, pp. 287-298

Authors: BABAOGLU O RAYNAL M

Citation: O. Babaoglu et M. Raynal, SPECIFICATION AND VERIFICATION OF DYNAMIC PROPERTIES IN DISTRIBUTED COMPUTATIONS, Journal of parallel and distributed computing, 28(2), 1995, pp. 173-185

Authors: BABAOGLU O MARZULLO K SCHNEIDER FB

Citation: O. Babaoglu et al., A FORMALIZATION OF PRIORITY INVERSION, Real time systems, 5(4), 1993, pp. 285-303

Authors: DRUMMOND R BABAOGLU O

Citation: R. Drummond et O. Babaoglu, LOW-COST CLOCK SYNCHRONIZATION, Distributed computing, 6(4), 1993, pp. 193-203