 | 2003 |
|---|
| 5 |       | Dmitri Chkliaev,
Jozef Hooman,
Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol.
TACAS 2003: 113-127 |
| 2000 |
|---|
| 4 |  | Dmitri Chkliaev,
Peter van der Stok,
Jozef Hooman:
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.
ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103 |
| 3 | | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Mechanical Verification of Transaction Processing Systems.
ICFEM 2000: 89- |
| 2 | | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Formal Modeling and Analysis of Atomic Commitment Protocols.
ICPADS 2000: 151-158 |
| 1999 |
|---|
| 1 | | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols.
Ershov Memorial Conference 1999: 180-193 |
