A Trace Semantics for Long−Running Transactions

Detalles Bibliográficos
Autores principales: Butler, M, Hoare, C, Ferreira, C
Formato: Conference item
Publicado: Springer 2004