A broadcast-based calculus for communicating systems | IEEE Conference Publication | IEEE Xplore