Dold algebra
Hidden algebra tillhandahåller en formell semantik för användning inom området mjukvaruteknik , speciellt för samtidiga distribuerade objektsystem . Den stöder korrekthetsbevis .
Dold algebra studerades av Joseph Goguen . Den hanterar funktioner i stora mjukvarubaserade system, inklusive samtidighet , distribution , icke-determinism och lokala stater . Den hanterade också objektorienterade funktioner som klasser , underklasser ( arv ), attribut och metoder . Dold algebra generaliserar processalgebra och övergångssystem .