Recently, A. Polonsky (see [Pol12]) has shown that the range property fails for H. We give here some conditions on a closed term that imply that its range has an infinite cardinality.

Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language features including tasking and tagged types. Ada programs with exceptions are difficult to understand, develop, modify or analyse, and the exception handling features can be misused in a number of ways. In...

The stability of a communication network composed of processing nodes and communication links is of prime importance to network designers. As the network begins losing links or nodes, eventually there is a loss in its effectiveness. Thus, communication networks must be constructed to be as stable as possible, not only with respect to the initial disruption, but also with respect to the possible...

a. csaszar introduced and extensively studied the notion of generalized opensets. following csazar, we introduce a new notion hyperconnected. we study some specicproperties about connected and hyperconnected in generalized topological spaces. finally, wecharacterize the connected component in generalized topological spaces.

Abstract. In this paper we report about modelling and verification of a medium access control protocol for wireless sensor networks, the LMAC protocol. Our approach is to systematically investigate all possible connected topologies consisting of four and of five nodes. The analysis is performed by timed automaton model checking using Uppaal. The property of main interest is detecting and resolv...