Trace theory
id:
trace-theory-293-12627957
title:
Trace theory
text:
In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free monoid provides the underpinning for formal languages. The power of trace theory stems from the fact t
brand slug:
wiki
category slug:
encyclopedia
description:
Theory of trace monoids
original url:
https://en.wikipedia.org/wiki/Trace_theory
date created:
date modified:
2022-03-07T00:32:24Z
main entity:
{"identifier":"Q7831167","url":"https://www.wikidata.org/entity/Q7831167"}
image:
fields total:
13
integrity:
14