P. Degano, U. Montanari, "Liveness Properties as Convergence in Metric Spaces", 16th ACM Annual Symposium on Theory of Computing, Washington, DC, 1984, p. 31-38  Home/Search   Document Not in Database   Summary   Related Articles   Check

..... The definitions presented here allow a classification of agencies on the basis of topological structure of the links among agents. 7. 2 Property of Fairness 19 A property which is important to ensure in distributed systems is the fairness of the cooperation among distributed items (see [8] [9] for a formal definition of property in the field of distributed computation) In agencies field it is fundamental to provide a definition of property of fairness and some techniques to investigate the holding of the property, because cooperation is what characterize agencies. We first define ....

P. Degano, U. Montanari, "Liveness Properties as Convergence in Metric Spaces", 16th ACM Annual Symposium on Theory of Computing, Washington, DC, 1984, p. 31-38

....fixed point semantics. An added benefit of contraction mappings is that they produce a unique fixed point. Arnold and Nivat s metric space framework has been expanded upon, out of the realization that notions of program fairness have relatively natural formalizations using (ultra)metric spaces ([6, 8], and recently e.g. 15] The metric approach appears to have real advantages for accurate specification of certain kinds of parallel program semantics, specifically for programs that process streams or tree structures There are many other applications of a suitably general theory. Later we will ....

Pierpaolo Degano, Ugo Montanari, "Liveness Properties as Convergence in Metric Spaces", Proc. Sixteenth ACM Symp. on Theory of Computing, 31--38, Washington, D.C., 1984.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC