Pradeep Jain

According to our database, Pradeep Jain authored at least 3 papers between 1987 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1991

Specification of Real-Time Broadcast Networks.

Pradeep Jain, Simon S. Lam

IEEE Trans. Computers, 1991

1988

Specification and verification of collusion-free broadcast networks.

Pradeep Jain, Simon S. Lam

Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

1987

Modeling and Verification of Real-Time Protocols for Broadcast Networks.

Pradeep Jain, Simon S. Lam

IEEE Trans. Software Eng., 1987