Derivation of data intensive algorithms by formal transformation: the Schorr-Waite graph marking algorithm

De Montfort University Open Research Archive

Files in this item

This item appears in the following Collection(s)