Martin Große-Rhode. A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. In Keijiro Araki, Andy Galloway, Kenji Taguchi, editors, Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. pages 253-272, Springer, 1999.
No references recorded for this publication.
No citations of this publication recorded.