Learn More
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity is used to give a general picture of how the two constructions affect the observational theory. Both the operational properties and the algebraic properties of the enriched(More)
DNA computing is a hot research topic in recent years. Formalization and verification using theories(π-calculus, bioambients, κ-calculus and etc.) in Computer Science attract attention because it can help prove and predict to a certian degree various kinds of biological processes. Combining these two aspects, formal methods can be used to verify algorithms(More)
Formal methods have proved useful in the analysis of security protocols. In this paper, we propose a generic model for symbolic analyzing security protocols (GSPM for short) that supports message passing semantics and constructs for modelling the behavior of protocol participants. GSPM is simple, but it is expressive enough to express security protocols and(More)
The local cause bisimulation is the behavior equivalence between processes enriched with local cause information. This paper proposes a full abstraction between observation theories of the local cause S and π-calculus. And based on the full abstraction, a new, alternative approach, which does not depend on auxiliary operators, to proving(More)
OBJECTIVE To study iodine nutrition of pregnant women in different occasions and thyroid function of their neonates. METHODS Urinary iodine of pregnant women and their serum T(3), T(4), FT(3), FT(4) were determined by chloric acid-digestion thermostatic assay and RIA, TSH determination by IRMA; neonatal umbilical cord blood TSH was determined by ELISA. (More)
In this paper a systematic study of bisimilarities on asymmetric chi<sup>ne</sup>-processes is carried out. The notion of L-bisimilarities on asymmetric chi<sup>ne</sup>-processes is introduced. Twelve distinct L-bisimilarities are derived from all of L-bisimilarities by constructing a bisimulation lattice. For each of these twelve distinct(More)