We describe a style of specifying concurrent systems based upon the parallel composition operator of CCS and apply it to several asynchronous hardware examples.

Building on the ideas in [Lab] we indicate how the concept of a composition operator may be extended to the context of Haagerup L p-spaces.

We obtain some simple criteria for the boundedness and compactness of the product of differentiation and composition operator CφD on Bloch type spaces.

We construct a Ces\`{a}ro-type operator acting on Dirichlet space of the upper half plane using approach strongly continuous semigroups composition operators Banach spaces. then determine spectral and norm properties obtained operator.

We study preservation of-strong normalization by d and dn, two connuent-calculi with explicit substitutions deened in 10]; the par-ticularity of these calculi is that both have a composition operator for substitutions. We develop an abstract simulation technique allowing to reduce preservation of-strong normalization of one calculus to that of another one, and apply said technique to reduce pre...

Let φ be a holomorphic self-map of a bounded homogeneous domain D in C. In this work, we show that the composition operator Cφ : f 7→ f ◦ φ is bounded on the Bloch space B of the domain and provide estimates on its operator norm. We also give a sufficient condition for φ to induce an isometry on B. This condition allows us to construct non-trivial examples of isometric composition operators in ...