In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...

Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs over infinite templates can be formulated with templates that are ω-categorical. We survey examples of such problems in temporal and spatial reasoning, infinite-dimensional algebra, acyclic colorings in graph theory, ...

Artifact-centric systems are a recent paradigm for representing and implementing business processes. We present further results on the verification problem of artifact-centric systems specified by means of FO-CTL specifications. While the general problem is known to be undecidable, results in the literature prove decidability for artifact systems with infinite domains under boundedness and cond...

We consider entire transcendental functions f with an invariant (or periodic) Baker domain U. First, we classify these domains into three types (hyperbolic, simply parabolic and doubly parabolic) according to the surface they induce when we quotient by the dynamics. Second, we study the space of quasiconformal deformations of an entire map with such a Baker domain by studying its Teichmüller sp...

in this paper we consider the group algebra $r(c_2times‎ ‎d_infty)$‎. ‎it is shown that $r(c_2times d_infty)$ can be‎ ‎represented by a $4times 4$ block circulant matrix‎. ‎it is also‎ ‎shown that $mathcal{u}(mathbb{z}_2(c_2times d_infty))$ is‎ ‎infinitely generated‎.

Complex probabilistic temporal behaviours need to be guaranteed in robotics and various other control domains, as well as in the context of families of randomized protocols. At its core, this entails checking infinite-state probabilistic systems with respect to quantitative properties specified in probabilistic temporal logics. Model checking methods are not directly applicable to infinite-stat...

We consider the porous medium equation subject to zero-Dirichlet conditions on a variety of two-dimensional domains, namely strips, slender domains and sectors, allowing us capture number different classes behaviours. Our focus is intermediate-asymptotic descriptions, derived by formal arguments validated against numerical computations. While our emphasis non-negative solutions slow-diffusion c...

We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first-order temporal logic that is considerably more expressive than the logics supported by prior monitoring methods. Our approach, based on automatic structures, allows the unrestricted use of negation, universal and existential qu...

We present a derivation and implementation of asymptotic boundary conditions to be imposed on "artificial" boundaries for nonlinear elliptic boundary value problems on semi-infinite "cylindrical" domains. A general theory developed by the authors in [11] is applied to establish the existence of exact boundary conditions and then to obtain useful approximations to them. The derivation is based o...

Many practical problems where the environment is not in the system’s control such as service orchestration and contingent and multi-agent planning can be modelled in game-theoretic logics (e.g. ATL). But most work on verification methods for such logics is restricted to finite state cases. [De Giacomo et al., 2010] develops a situation calculusbased logical framework for representing such infin...