L. J. Steggles, Piotr Kosiuczenko
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol
WRLA, 1998.
@article{WRLA-1998-StegglesK,
author = "L. J. Steggles and Piotr Kosiuczenko",
doi = "10.1016/S1571-0661(05)82554-X",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "83--104",
title = "{A timed rewriting logic semantics for SDL: A case study of alternating bit protocol}",
volume = 15,
year = 1998,
}