Composition of high-speed protocols from basic protocol mechanisms can help to realize the exible application-speci c selection of protocols. For the purpose of formal speci cation, functional modelling, analysis, and veri cation of composed protocols we apply L. Lamport's Temporal Logic of Actions (TLA). We propose a modular and compositional style of speci cation, which supports the analysis ...

A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA (Temporal Logic of Actions) specifications.

Bear bile has been a well-known Chinese medicine for thousands of years. Because of the endangered species protection, the concept on substitutes for bear bile was proposed decades ago. Based on their chemical composition and pharmacologic actions, artificial bear bile, bile from other animals, synthetic compounds, and medicinal plants may be the promising candidates to replace bear bile for th...

An extensive clinical study of Yusho and many animal experiments were carried out by the Yusho study group in Kyushu University in order to clarify the mechanism of toxic actions of Kanechlor. Most of the findings have been published in Japanese with brief English abstracts. I hope this abstract will help in the understanding of the important observations obtained by these studies. Table 1. Lab...

DURING the past decade, the relationship between digitalis drugs and potassium has been extensively investigated. Attention has been given primarily to the effect of potassium upon the digitalized state. It has been shown that administration of potassium abolishes the cardiotoxic manifestations of digitalis.' The converse has also been established, namely, that depletion of body potassium store...

The activity of yeast invertase as a function of oxidation-reduction potential has been investigated using a large number of oxidants and reductants. The activity is constant over the range of E(h) from -270 to +600 mv., but above E(h) = +600 mv. there is a sharp decrease in activity reaching 0 at E(h) = +1,000 mv. The inhibiting action of strong oxidants is upon the enzyme rather than on the s...

study of collective actions is related to some of the most important issues in contemporary sociology such as cooperation, collective decision making, emergence of social norms etc. this paper in four steps presents a framework for studying collective actions. these steps are related to characteristics of collective actions (cooperation and common good), factors effecting the emergence of colle...

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

Let $H$ be a Hopf algebra and $A$ an $H$-bimodule algebra‎. ‎In this paper‎, ‎we investigate Gorenstein global dimensions for Hopf‎ ‎algebras and twisted smash product algebras $Astar H$‎. ‎Results from‎ ‎the literature are generalized‎. 

In this paper, we  study the Arens regularity properties of module actions. We investigate some properties of topological centers of module actions ${Z}^ell_{B^{**}}(A^{**})$ and  ${Z}^ell_{A^{**}}(B^{**})$ with some conclusions in group algebras.