Authors: BAGRODIA RL

Citation: Rl. Bagrodia, PARALLEL LANGUAGES FOR DISCRETE-EVENT SIMULATION-MODELS, IEEE computational science & engineering, 5(2), 1998, pp. 27-38

Authors: TSAY YK BAGRODIA RL

Citation: Yk. Tsay et Rl. Bagrodia, DEDUCING FAIRNESS PROPERTIES IN UNITY LOGIC - A NEW COMPLETENESS RESULT, ACM transactions on programming languages and systems, 17(1), 1995, pp. 16-27

Authors: TSAY YK BAGRODIA RL

Citation: Yk. Tsay et Rl. Bagrodia, FAULT-TOLERANT ALGORITHMS FOR FAIR INTERPROCESS SYNCHRONIZATION, IEEE transactions on parallel and distributed systems, 5(7), 1994, pp. 737-748

Authors: BAGRODIA RL LIAO WT

Citation: Rl. Bagrodia et Wt. Liao, MAISIE - A LANGUAGE FOR THE DESIGN OF EFFICIENT DISCRETE-EVENT SIMULATIONS, IEEE transactions on software engineering, 20(4), 1994, pp. 225-238

Authors: LIU Y SINGH AK BAGRODIA RL

Citation: Y. Liu et al., A DECOMPOSITIONAL APPROACH TO THE DESIGN OF PARALLEL PROGRAMS, IEEE transactions on software engineering, 20(12), 1994, pp. 914-932

Authors: TSAY YK BAGRODIA RL

Citation: Yk. Tsay et Rl. Bagrodia, SOME IMPOSSIBILITY RESULTS IN INTERPROCESS SYNCHRONIZATION, Distributed computing, 6(4), 1993, pp. 221-231