The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spior applied-pi are found as instances. Psi...

This research applies a multimodal study to discover how Balinese people represent Dewi Sri as the goddess of rice and fertility through language visuals in farming ceremonies. Therefore, this analyzed ideational function representational meaning visuals. is qualitative study. The results show that visual elements work together reveal explain representation material processes dominant process f...

Language is viewed as a kind of communication that includes greeting, requesting, threatening, demanding, thanking, swearing, and so on. Oath fundamental foundation the language individuals regularly use. considered linguistic phenomenon exists in most languages for same purpose various structures. The current study intends to investigate oaths how they are constructed deliver message discover ...

The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spior applied-pi are found as instances. Psi...

African societies have always used traditional music and dance to celebrate events, interface, connect with divinity, especially during communal ceremonies. The central thesis of this paper is that are transforming agents by Xhosa healers ceremonies gain insights into the nature a society’s experiences supernatural beings. This study, therefore, investigates functional role healer’s ceremonies,...