𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A proof rule for multiple coroutine systems

✍ Scribed by Paul A. Pritchard


Book ID
113161876
Publisher
Elsevier Science
Year
1976
Tongue
English
Weight
463 KB
Volume
4
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A simple proof for a simple rule
✍ A. MartΓ­n SΓ‘nchez; F. Vera TomΓ© πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 104 KB
A proof rule for restoring logic circuit
✍ J.A. Bergstra; J.W. Klop πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.

A proof rule for while loop in VDM
✍ Xinjie Jiang; Yongsen Xu πŸ“‚ Article πŸ“… 1989 πŸ› Springer 🌐 English βš– 226 KB