𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Chiral Structure of Modular Invariants for Subfactors

✍ Scribed by Jens Böckenhauer; David E. Evans; Yasuyuki Kawahigashi


Publisher
Springer
Year
2000
Tongue
English
Weight
471 KB
Volume
210
Category
Article
ISSN
0010-3616

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Modular invariants for layered object st
✍ Peter Müller; Arnd Poetzsch-Heffter; Gary T. Leavens 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 740 KB

Classical specification and verification techniques support invariants for individual objects whose fields are primitive values, but do not allow sound modular reasoning about invariants involving more complex object structures. Such non-trivial object structures are common, and occur in lists, hash