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

Abstract

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

Topics

5 Figures and Tables