𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Branching bisimilarity is an equivalence indeed!

✍ Scribed by Twan Basten

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
539 KB
Volume
58
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An equivalence result for integral equat
An equivalence result for integral equations with application to branching processes
✍ Marek Kimmel πŸ“‚ Article πŸ“… 1982 πŸ› Springer 🌐 English βš– 599 KB

A theorem is proved, concerning expected values of a multitype branching process in a varying environment. The consequence of the theorem is that the branching process can be treated (in the sense of expected values) as a dynamical system with control terms. This is of importance in situations where

The new veiling phenomenonβ€”is it an anor
The new veiling phenomenonβ€”is it an anorexic equivalent? A polemic
✍ Mervat Nasser πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 81 KB

The paper deals with the new veiling phenomenon that initially began two decades ago in countries like Egypt and was taken up in increasing numbers by young educated and working women. The new veiling, however, is no longer restricted to the Middle East. This form of dress is now being adopted by ma

There is an equivalent norm on that has
There is an equivalent norm on that has the fixed point property
✍ Pei-Kee Lin πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 167 KB

Let Ξ³ k = 8 k 1+8 k for all k ∈ N, and let ||| β€’ ||| be the equivalent norm of 1 defined by We prove that ( 1 , ||| β€’ |||) has the fixed point property for nonexpansive self-mappings.