In this paper, we will establish precise connections between innnitary languages and test equivalent concurent processes. More precisely, we will extend some negative results on the separability of classes of concurrent processes. Two processes are said separable if they can be separated from each other by means of another test process from the same class i.e., if one can nd a test that is succ...

0

the division of possession into a trustful and liable one is a mechanism from the legislator to define the responsibility of a person possesses the other's property. the possessor of the other's property is held responsible for the property itself and its benefits regardless of whether he has used it or not. although a trust possessor is not responsible for damages caused to the trust...

the division of possession into a trustful and liable one is a mechanism from the legislator to define the responsibility of a person possesses the other's property. the possessor of the other's property is held responsible for the property itself and its benefits regardless of whether he has used it or not. although a trust possessor is not responsible for damages caused to the trust...

The cache hierarchy design in existing SMT and superscalar processors is optimized for latency, but not for bandwidth. The size of the L1 data cache did not scale over the past decade. Instead, larger unified L2 and L3 caches were introduced. This cache hierarchy has a high overhead due to the principle of containment, as all the cache blocks in the upper level caches are contained in the lower...

focus on political, economic, cultural city of kermanshah, the reasons for moving to the city, and consequently, it is natural population growth. this part of the urban hierarchy rule out - as far and despite the high potential for job creation in the province are because of the unbalanced distribution of population, the potential of the whole province is not to be used, so that today we face t...

We construct the tensor hierarchies of generic, bosonic, 5and 6-dimensional field theories. The construction of the tensor hierarchy starts with the introduction of two tensors: the embedding tensor θ which tells us which vector is used for gauging and another tensor Z which tells us which vector is eaten by a 2-form. In dimensions d ≥ 5 these two (deformation) tensors are in principle unrelate...

Menu-hierarchy is an important mechanism for human-computer interaction. In this paper we report the design, prototyping, and experiences of an experimental system called ACOSys for automated organization of contents by menu/folder hierarchies. ACOSys is built on a similar principle of our other work, FcAWN – formal concept analysis for web navigation-menu design [32], where lattice theory [1] ...

The well-known hierarchy between the Planck scale (∼ 10GeV) and the TeV scale, namely a ratio of ∼ 10 between the two, is coincidentally repeated in a inverted order between the TeV scale and the dark energy scale at ∼ 10eV implied by the observations. We argue that this is not a numerical coincidence. The same brane-world setups to address the first hierarchy problem may also in principle addr...