A Trace Semantics for Long−Running Transactions

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Butler, M, Hoare, C, Ferreira, C
Μορφή: Conference item
Έκδοση: Springer 2004