A Trace Semantics for Long−Running Transactions

书目详细资料
Main Authors: Butler, M, Hoare, C, Ferreira, C
格式: Conference item
出版: Springer 2004