Distributed Termination in CSP: Symmetric Solutions with Minimal Storage.

Jean-Luc Richier

Browse the full STACS paper archive.