CSP with Record Data Type for Supporting Transaction Systems Specification.

Sylvanus A. Ehikioya Ken Barker CSP with Record Data Type for Supporting Transaction Systems Specification. 64-71 adbis97/P064.pdf 1997 conf/adbis/97 ADBIS db/conf/adbis/adbis97.html#EhikioyaB97 db/conf/adbis/EhikioyaB97.html ... journals/fac/BaetenB91 books/aw/BernsteinHG87 ... ... ... conf/ideas/EhikioyaB97 ... ... books/bc/ElmasriN94 ... ... conf/aaai/GiacomoC96 ... books/mk/GrayR93 ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...