In this paper, new criteria for a class oscillation of second-order delay differential equations with distributed deviating arguments were established. Our method mainly depends on making sharper estimates the non-oscillatory solutions studied equation. By using Ricati technique and comparison theorems that compare first-order equations, we obtained less restrictive conditions ensure all Furthe...

Some form of migrating process, i.e., a process that can change the node during its execution, is being frequently proposed as a basic component for designing distributed applications. Similarly to distributed applications based on static processes, applications based on processes that can migrate also need forms of reliable cooperation between processes. In order to fulfil part of this require...

Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is settheoret...