In this paper we present logical characterizations of two preorders, within the framework of Hennessy-Milner Logics. The two preorders (loosely termed bisimulation-based efficiency preorders) are on processes represented as labelled transition systems. The characterizations are particularly interesting as they explore preorders lying between strong and weak bisimilarity, guided by a principle o...

A new distance function dist (A,B) for fuzzy sets A and B is introduced. It is based on the descriptive complexity, i.e., the number of bits (on average) that are needed to describe an element in the symmetric difference of the two sets. The distance gives the amount of additional information needed to describe any one of the two sets given the other. We prove its mathematical properties and pe...

Syntactic constraints in Koskenniemi's Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turns out that although the constraints in Voutilainen's (1994) FSIG description of English make use of several extensions to regular expressions, the description as a whole reduces to a finite combination of union, compleme...

the present research was conducted with the aim of exposition of the relationship between organizational climate and job involvement among teachers of high schools in delijan city of iran in year (2012-2013). the research was applied, descriptive and correlational.statistical population included184 teachers in the first semester of educational year (2012- 2013), of which 125 teachers were selec...

background: infant mortality rate is reported 3.18 in 1000 births in iran. international organizations such as world health organization (who) and united nations children's fund (unicef) consider applicable standards essential for providing effective health services in hospitals and health centers. therefore, it is essential to create national care standards for neonatal intensive care units (n...

We describe how the provision of a persistent programming environment together with a language that supports first class procedures may be used to provide the semantic features of other object modelling languages. In particular the effects of information hiding, data protection and separate compilation are provided and a comparison of the method with more traditional techniques is examined.