book-chapter · 1992Distributed termination enforcement0 citationsDOI: https://doi.org/10.1007/3-540-55599-4_99