9 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan A. Bergstra, Mark B. van der Zwaag
Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanisti…