This paper explores the connection between semantic equivalences for concrete sequential processes, represented by means of transition systems, and formats of transition system speciications using Plotkin's structural approach. For several equivalences in the linear time { branching time spectrum a format is given, as general as possible, such that this equivalence is a congruence for all opera...

Due to large amount of non-linear power electronic equipment’s impact and fluctuating loads , problems of power quality have become more and more serious with each passing day. Active power filtering has gained much more importance in the power quality arena as it gives the best solution for all power quality issues. Shunt active filtering is effective and the performance of such units largely ...

Let $\psi : \mathbb {N} \to [0,1/2]$ be given. The Duffin–Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals $\alpha$ there are infinitely many coprime solutions $(p,q)$ to the inequality $|\alpha - p/q| < \psi (q)/q$ , provided series $\sum _{q=1}^\infty \varphi (q) / q$ is divergent. In present paper, we establish a quantitative version...