A methodology to solve distributed termination problem: A short note
作者：
Highlights：
•
摘要
A methodology to solve distributed termination problem is presented. The supporting language constructs are also discussed. The language constructs and the underlying mechanism for writing terminating distributed program can be incorporated in any distributed programming language.
论文关键词：
论文评审过程：Received 1 June 1982, Available online 10 June 2003.
论文官网地址：https://doi.org/10.1016/0306-4379(83)90028-5
