Es stehen einige Online-Ressourcen zur Verfügung, die bei der Protokolllinearisierung helfen (z. B. hier oder hier ). Die Protokolllinearisierung, wenn es sich um eine Erwartung handelt, ist jedoch etwas schwierig, da das Protokoll den Erwartungsoperator nicht einfach "durchlaufen" kann. Könnte...