45 citations · 82 across the 16 of their papers we have counts for
1 paper · 1 filter
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these…