Journal: Distributed Computing

Volume 9, Issue 2

61 -- 75Ufuk Celikkan, Rance Cleaveland. Generating Diagnostic Information for Behavioral Preorders
77 -- 94Y. C. Tay, W. Tim Loke. On Deadlocks of Exclusive AND-Requests for Resources
95 -- 108Arkady Zamsky, Amos Israeli, Shlomit S. Pinter. Optimal Time Byzantine Agreement for t<n/8 With Linear-Messages