Calculus of Broadcasting Systems

See also

• Pi-Calculus
• Communicating sequential processes
• Haskell
• Bisimulation
• Alternating Bit Protocol

References

• K. V. S. Prasad: Calculus of Broadcasting Systems, Science of Computer Programming, 25, 1995
• K. V. S. Prasad: Programming with broadcasts, Lecture Notes in Computer Science,

Vol. 715, CONCUR, 1993, Springer Verlag

• K. V. S. Prasad: Broadcasting in time, Lecture Notes in Computer Science, Vol. 1061, COORDINATION, 1996, Springer Verlag

External links

• Citations from CiteSeer
• A TCBS-Implementation on C++ – A Laboratory for the Course "Parallelism"