Martin Große-Rhode
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems
IFM, 1999.
@inproceedings{IFM-1999-Grosse-Rhode,
author = "Martin Große-Rhode",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "253--272",
publisher = "{Springer-Verlag}",
title = "{A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems}",
year = 1999,
}