Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5774850> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Q5774850 subject Q7142640.
- Q5774850 subject Q7415169.
- Q5774850 subject Q7451612.
- Q5774850 subject Q8471951.
- Q5774850 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.".
- Q5774850 wikiPageExternalLink diekert97partial.html.
- Q5774850 wikiPageWikiLink Q1047554.
- Q5774850 wikiPageWikiLink Q1120460.
- Q5774850 wikiPageWikiLink Q1169754.
- Q5774850 wikiPageWikiLink Q128392.
- Q5774850 wikiPageWikiLink Q1417809.
- Q5774850 wikiPageWikiLink Q1427251.
- Q5774850 wikiPageWikiLink Q163310.
- Q5774850 wikiPageWikiLink Q173740.
- Q5774850 wikiPageWikiLink Q184754.
- Q5774850 wikiPageWikiLink Q185359.
- Q5774850 wikiPageWikiLink Q189112.
- Q5774850 wikiPageWikiLink Q1970286.
- Q5774850 wikiPageWikiLink Q205663.
- Q5774850 wikiPageWikiLink Q208237.
- Q5774850 wikiPageWikiLink Q21198.
- Q5774850 wikiPageWikiLink Q213092.
- Q5774850 wikiPageWikiLink Q2563079.
- Q5774850 wikiPageWikiLink Q3321292.
- Q5774850 wikiPageWikiLink Q371983.
- Q5774850 wikiPageWikiLink Q395.
- Q5774850 wikiPageWikiLink Q4148050.
- Q5774850 wikiPageWikiLink Q5500266.
- Q5774850 wikiPageWikiLink Q5500272.
- Q5774850 wikiPageWikiLink Q599031.
- Q5774850 wikiPageWikiLink Q650462.
- Q5774850 wikiPageWikiLink Q670834.
- Q5774850 wikiPageWikiLink Q7142640.
- Q5774850 wikiPageWikiLink Q719395.
- Q5774850 wikiPageWikiLink Q7415169.
- Q5774850 wikiPageWikiLink Q7451612.
- Q5774850 wikiPageWikiLink Q7623989.
- Q5774850 wikiPageWikiLink Q837518.
- Q5774850 wikiPageWikiLink Q842620.
- Q5774850 wikiPageWikiLink Q8471951.
- Q5774850 wikiPageWikiLink Q849775.
- Q5774850 wikiPageWikiLink Q919107.
- Q5774850 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.".
- Q5774850 label "History monoid".