CSP with Record Data Type for Supporting Transaction Systems Specification.

Sylvanus A. Ehikioya, Ken Barker

Browse the full ADBIS paper archive.