Matches in DBpedia 2014 for { <http://dbpedia.org/resource/History_monoid> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- History_monoid abstract "In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection of strings, each string representing the individual history of a process. The history monoid provides a set of synchronization primitives (such as locks, mutexes or thread joins) for providing rendezvous points between a set of independently executing processes or threads. History monoids occur in the theory of concurrent computation, and provide a low-level mathematical foundation for process calculi, such as CSP the language of communicating sequential processes, or CCS, the calculus of communicating systems. History monoids were first presented by M.W. Shields.History monoids are isomorphic to trace monoids (free partially commutative monoids) and to the monoid of dependency graphs. As such, they are free objects and are universal. The history monoid is a type of semi-abelian categorical product in the category of monoids.".
- History_monoid wikiPageExternalLink diekert97partial.html.
- History_monoid wikiPageID "10833335".
- History_monoid wikiPageRevisionID "597385311".
- History_monoid hasPhotoCollection History_monoid.
- History_monoid subject Category:Concurrency_(computer_science).
- History_monoid subject Category:Formal_languages.
- History_monoid subject Category:Free_algebraic_structures.
- History_monoid subject Category:Semigroup_theory.
- History_monoid type Artifact100021939.
- History_monoid type FreeAlgebraicStructures.
- History_monoid type Object100002684.
- History_monoid type PhysicalEntity100001930.
- History_monoid type Structure104341686.
- History_monoid type Whole100003553.
- History_monoid type YagoGeoEntity.
- History_monoid type YagoPermanentlyLocatedEntity.
- History_monoid comment "In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection of strings, each string representing the individual history of a process. The history monoid provides a set of synchronization primitives (such as locks, mutexes or thread joins) for providing rendezvous points between a set of independently executing processes or threads.".
- History_monoid label "History monoid".
- History_monoid sameAs m.02qrg7p.
- History_monoid sameAs Q5774850.
- History_monoid sameAs Q5774850.
- History_monoid sameAs History_monoid.
- History_monoid wasDerivedFrom History_monoid?oldid=597385311.
- History_monoid isPrimaryTopicOf History_monoid.