Implementing a Modal Logic over Data and Processes using XTL.

Jeremy W. Bryans, Carron Shankland

Browse the full FORTE paper archive.