nLab
Mazurkiewicz trace

Idea

Mazurkiewicz trace theory is one of the oldest forms of trace semantics?. Its models are based on labelled posets, the labelling being by a trace alphabet.

Last revised on December 23, 2010 at 07:27:33. See the history of this page for a list of all contributions to it.