A Trace Semantics for Long−Running Transactions

Detalhes bibliográficos
Principais autores: Butler, M, Hoare, C, Ferreira, C
Formato: Conference item
Publicado em: Springer 2004