Modeling and Verification of Real-Time Protocols for Broadcast Networks. - Pradeep Jain; Simon S. Lam (IEEE Trans. Software Eng., 1987)

Specification and verification of collusion-free broadcast networks. - Pradeep Jain; Simon S. Lam (SIGCOMM, 1988)

Specification of Real-Time Broadcast Networks. - Pradeep Jain; Simon S. Lam (IEEE Trans. Computers, 1991)