𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Preserving liveness: Comments on “safety and liveness from a methodological point of view”

✍ Scribed by Martín Abadi; Bowen Alpern; Krzysztof R. Apt; Nissim Francez; Shmuel Katz; Leslie Lamport; Fred B. Schneider

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
197 KB
Volume
40
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On gauging — from a mechanical point of
On gauging — from a mechanical point of view
✍ H. Günther 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB 👁 1 views

On gaugingfrom a mechanical point of view ~'ontiiiuunr rireclr:iiiics 01 tlislocationh appears to I)c mi a1q)rol)riatc 1lrc.ory lor uiakiiig I 1 ~~1 1 1 s ~~i i r ~~i 1 1 1 IIC tiiwiiing ~l gCi~ifie lleltl procedures in it. I he strcss functioti approach lo tlic thcory I)roduccs ;I freedom of plias

Looking for a mathematics for living sys
Looking for a mathematics for living systems: Reply to comments on “Towards a mathematical theory of living systems focusing on developmental biology and evolution: A review and perspectives”
✍ N. Bellomo; B. Carbonaro 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 105 KB

This note is motivated by various commentaries which have critically analyzed our contribution to a personal perspective on the conceptual difficulties that mathematics meets when attempting to describe the complexity of living matter, and specifically on the challenging goal of developing a mathema