This paper proposes to analyze the roles of two transnational institutions (a Pentecostal church and a government agency for foreign relations) in ethnic enterprise. The studied group is made up of Brazilian immigrants who set up in business with money saved as workers in the American state of Massachusetts in informal economy niches. The institutions that help understand this process, which th...

Institutions offer a mechanism to regulate the behaviour of agents without the need for these agents to internalise the norms of the system. Current formalisms can be divided in two groups depending on whether norms are expressed on the state of the normative structure or the events that bring about normative change. This paper argues that for complex systems both types are needed. To this exte...

We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state mac...

In this paper we present a formal framework designed to facilitate interoperability between the Event-B specification language and the process algebra CSP. Our previous work used the theory of institutions to provide a mathematically sound framework for Event-B, and this enables interoperability with CSP, which has already been incorporated into the institutional framework. This paper outlines ...

Indonesia boasts the largest Muslim population worldwide; however, allocation of zakat funds remains relatively low. This is primarily due to fact that numerous communities have yet channel their contributions through formal institutions. Many individuals are still unaware obligation pay zakat. Previous research has predominantly employed theoretical frameworks in consumer behavior, with limite...