𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An algebra of asynchronous logic networks

✍ Scribed by B. S. Tsirlin

Publisher
Springer US
Year
1984
Tongue
English
Weight
544 KB
Volume
20
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computing with truly asynchronous thresh
Computing with truly asynchronous threshold logic networks
✍ Pekka Orponen πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 946 KB

We present simulation mechanisms by which any network of threshold logic units with either symmetric or asymmetric interunit connections (i.e. a symmetric or asymmetric "Hopfield net") can be simulated on a network of the same type, but without any a priori constraints on the order of updates of the

Application of formal methods to biologi
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 310 KB

Based on the discrete definition of biological regulatory networks developed by ReneΒ΄Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s