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 & Figures
A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In
Amnesia Fortnight 2012
5 Figures and Tables
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
A Framework for Specifying, Prototyping, and Reasoning about Computational Systems
Andrew Gacek • Jul 11, 2017
A formal explication of the search for explanations. The adaptive logics approach to abductive reasoning
Hans Lycke • Jul 06, 2015
Linear Temporal Logic of Rewriting Model Checker
Kyungmin Bae + 1 • Dec 31, 2015