Communication protocols
On behalf of the LOK-project the Institute of
AI of the University of Groningen has developed some applications about communication protocols on the domain of Epistemic Logic.
Follow the links to see the applets. The two last applets allow the user to remove or change some lines in the protocols, so the user can play with them.
Protocol A
Protocol B
Protocol TCP
Protocol A: experiment
Protocol B: experiment
The A & B protocol-applets are developed by Geertje Zwarts, the TCP-protocol-applet by Freek Stulp.
