The Detection of the Termination of Partial Computations. Temporal Logics Turn out to Be a Suitable Formal Framework for Reasoning about Systems of Distributed Autonomous Agents That Can Easily Modelled by Actors. References


A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In 


5 Figures and Tables