Ein Problem bei der Entwicklung von interaktiven multimedialen Anwendung ist die Synchronisation der verwendeten Objekte. Bisher wurden nur wenige Formalismen veröffentlicht, die den Anwender bei diesem Vorhaben unterstützen. Ein Formalismus ist das OCPN-Model, welches auf Timed-Petri-Netze und Zeitintervalle basiert. Ein weiterer Ansatz benutzt das von Milner entwickelte CCS. Darüber hinaus wird ein Model zur Repräsentation von Hypertexten behandelt. Es baut auf die Theorie der Statecharts.
Stefan Bley