On Jan L. A. van de Snepscheut's “The Sliding-Window Protocol Revisited” H. Peter Hofstee OriginalPaper Pages: 1 - 2
Action systems, unbounded nondeterminism, and infinite traces Michael ButlerCarroll Morgan OriginalPaper Pages: 37 - 53
Termination of rewrite systems by elementary interpretations Pierre Lescanne OriginalPaper Pages: 77 - 90