the counters of e to become nil: message tokense] is decremented by 1, but nil tokense] is incremented by 1. 2 Proof of Lemma 2: Let t be the time just before the token is sent from u, and t 0 the time just before it is received at v. Because the sum of message tokens and nil tokens can increment only when tokens arrive on the link, and because the links are FIFO, we have: message tokense] t 0 ...

© Foundation Compositio Mathematica, 1986, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier ...

a new definition of boundedness of linear order-homomorphisms (loh)in $l$-topological vector spaces is proposed. the new definition iscompared with the previous one given by fang [the continuity offuzzy linear order-homomorphism, j. fuzzy math. 5 (4) (1997)829$-$838]. in addition, the relationship between boundedness andcontinuity of lohs is discussed. finally, a new uniform boundednessprincipl...

We present a simple solution to the mutual exclusion problem with no lockout that uses weak binary semaphores. Previously, Morris [4] presented a solution to this problem that uses three binary semaphores and two variable-size shared variables. A simpler solution was given in [5], where just two semaphores and two shared singlebit variables are used. (In some earlier versions, an incorrect one-...

To use 3D models on the Internet or in other bandwidth-limited applications, it is often necessary to compress their triangle mesh representations. We consider the problem of balancing two forms of lossy mesh compression: reduction of the number of vertices by simplification, and reduction of the number of bits per vertex coordinate. LetA(V,B) be a triangle mesh approximation for an original mo...

Simulating a crowded scene like a busy shopping street requires tight packing of virtual characters. In such cases collisions are likely to occur, and the choice in collision detection shape will influence how characters are allowed to intermingle. Full collision detection is too expensive for crowds, so simplifications are needed. The most common simplification, the fixed-width, pose-independe...

A new definition of boundedness of linear order-homomorphisms (LOH)in $L$-topological vector spaces is proposed. The new definition iscompared with the previous one given by Fang [The continuity offuzzy linear order-homomorphism, J. Fuzzy Math. 5 (4) (1997)829$-$838]. In addition, the relationship between boundedness andcontinuity of LOHs is discussed. Finally, a new uniform boundednessprincipl...