We show that the input-output function computed by a network of asynchronous real-time processes is denoted by the unique xed point of a Scott continuous functional even though the network or its components may compute a discontinuous function. This extends a well-known principle of Kahn [Kahn, 1974] to an important class of parallel systems that has resisted the traditional xed point approach....

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

In the present paper, we propose a Palm likelihood approach as a general estimating principle for stationary point processes in Rd for which the density of the second-order factorial moment measure is available in closed form or in an integral representation. Examples of such point processes include the Neyman–Scott processes and the log Gaussian Cox processes. The computations involved in dete...