A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract).

Ten-Hwang Lai

Browse the full ICALP paper archive.