𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On cool congruence formats for weak bisimulations

✍ Scribed by R.J. van Glabbeek

Book ID
108281746
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
387 KB
Volume
412
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Study on the critical conditions of ice
Study on the critical conditions of ice formation for a continuous ice making system in a cooling pipe
✍ Inaba, Hideo ;Lee, Dong Won ;Horibe, Akihiko πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 126 KB πŸ‘ 2 views

This paper deals with a continuous ice making method which could be used to provide an ice storage system using off-peak electricity during nighttime. The critical condition for an ice blockage to occur in the cooling tube has been examined in terms of the concentration of water-propylene glycol sol

An effect of scraper shapes on detachmen
An effect of scraper shapes on detachment of solid adhered to cooling surface for formation of clathrate hydrate slurry
✍ Tadafumi Daitoku; Yoshio Utaka πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 873 KB

## Abstract In air‐conditioning systems, it is desirable that the liquid– solid phase change temperature of a cool energy storage material is approximately 10^Β°^C from the perspective of improving the coefficient of performance (COP). Moreover, a thermal storage material that forms slurry can reali