A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems - researchr publication

researchr

You are not signed in
Sign in
Sign up

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.

Abstract is missing.

runs on WebDSL