Communicatieprotocollen
Voor het LOK-web heeft de RuG op het gebied van epistemische logica enige toepassingen gemaakt over het onderwerp communicatieprotocollen. Door de links te volgen zijn enige applets te bekijken waarin de protocollen gevisualiseerd worden. In de laatste twee applets is er een mogelijkheid om regels uit de protocollen weg te laten, waardoor men kan zien wat er dan fout gaat.
Protocol A
Protocol B
Protocol TCP
Protocol A met experimenteerbuttons
Protocol B met experimenteerbuttons
Deze protocol-applets zijn gemaakt door Geertje Zwarts, het TCP-protocol is gemaakt door Freek Stulp.
