Broadcast Calculus Interpreted in CCS upto Bisimulation

K. V. S. Prasad. Broadcast Calculus Interpreted in CCS upto Bisimulation. Electronic Notes in Theoretical Computer Science, 52(1):83-100, 2001. [doi]

Abstract

Abstract is missing.