Hidden algebra
id:
hidden-algebra-302-71833
title:
Hidden algebra
text:
Hidden algebra provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems. It supports correctness proofs. Hidden algebra was studied by Joseph Goguen. It handles features of large software-based systems, including concurrency, distribution, nondeterminism, and local states. It also handled object-oriented features like classes, subclasses (inheritance), attributes, and methods. Hidden algebra generalizes process algebra and tra
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Hidden_algebra
date created:
date modified:
2024-03-26T19:30:16Z
main entity:
{"identifier":"Q5752038","url":"https://www.wikidata.org/entity/Q5752038"}
image:
fields total:
13
integrity:
13