Motivated by partial group actions on unital algebras, in this article we extend many results obtained by Exel and Dokuchaev [6] to the context of partial actions of Hopf algebras, according to Caenepeel and Jansen [3]. First, we generalize the theorem about the existence of an enveloping action, also known as the globalization theorem. Second, we construct a Morita context between the partial ...

Abstract. Inductive constellations are one-sided analogues of inductive categories which correspond to left restriction semigroups in a manner analogous to the correspondence between inverse semigroups and inductive groupoids. In this paper, we define the notions of the action and partial action of an inductive constellation on a set, before introducing the Szendrei expansion of an inductive co...

One main purpose for the use of formal description techniques (FDTs) is formal reasoning and veriication. This requires a formal calculus and a suitable formal semantics of the FDT. In this paper, we discuss the basic veriication requirements for Estelle, and how they can be supported by existing calculi. This leads us to the redeenition of the standard Estelle semantics using Lamport's tempora...

Major steps of the design of distributed applications correspond to the integration of predeened patterns. To support such design steps, a concept for reenement by pattern composition is introduced which applies formal process composition and provides functions for the tool assisted construction and modiication of speciications. The approach is based on L. Lamport's Temporal Logic of Actions TL...