Authors: JONSSON B TSAY YK

Citation: B. Jonsson et Yk. Tsay, ASSUMPTION GUARANTEE SPECIFICATIONS IN LINEAR-TIME TEMPORAL LOGIC/, Theoretical computer science, 167(1-2), 1996, pp. 47-72

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: TSAY YK BAGRODIA RL

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