Many token-based, distributed mutual exclusion algorithms can be generalized by a single algorithm. The algorithm’s performance is dependent upon the logical topology imposed on the nodes and the policy used to forward requests. This paper extends the generalized algorithm to support prioritized, real-time requests in a generalized fashion and presents models that can be used to analyze the per...

Generalized metric spaces are a common generalization of preorders and ordinary metric spaces (Lawvere 1973). Combining Lawvere's (1973) enriched-categorical and Smyth' (1988, 1991) topological view on generalized metric spaces, it is shown how to construct 1. completion , 2. topology, and 3. powerdomains for generalized metric spaces. Restricted to the special cases of preorders and ordinary m...

Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere's (1973) enriched-categorical and Smyth' (1987, 1991) topological view on generalized (ultra)metric spaces, it is shown how to construct 1. completion, 2. topology, and 3. powerdomains for generalized ultrametric spaces. Restricted to the special...

We consider Courant and Courant-Jacobi brackets on the stable tangent bundle TM ×R of a differentiable manifold and corresponding Dirac, Dirac-Jacobi and generalized complex structures. We prove that Dirac and Dirac-Jacobi structures on TM × R can be prolonged to TM × R, k > h, by means of commuting infinitesimal automorphisms. Some of the stable, generalized, complex structures are a natural g...