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

Martin Groe-Rhode

Browse the full IFM paper archive.