Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/History_monoid> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples 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 wikiPageLength "7709".
- History_monoid wikiPageOutDegree "44".
- History_monoid wikiPageRevisionID "653870578".
- History_monoid wikiPageWikiLink Alphabet_(formal_languages).
- History_monoid wikiPageWikiLink Calculus_of_communicating_systems.
- History_monoid wikiPageWikiLink Cartesian_product.
- History_monoid wikiPageWikiLink Category:Concurrency_(computer_science).
- History_monoid wikiPageWikiLink Category:Formal_languages.
- History_monoid wikiPageWikiLink Category:Free_algebraic_structures.
- History_monoid wikiPageWikiLink Category:Semigroup_theory.
- History_monoid wikiPageWikiLink Category_(mathematics).
- History_monoid wikiPageWikiLink Communicating_sequential_processes.
- History_monoid wikiPageWikiLink Computer_science.
- History_monoid wikiPageWikiLink Concurrent_computing.
- History_monoid wikiPageWikiLink Dependency_graph.
- History_monoid wikiPageWikiLink Dependency_relation.
- History_monoid wikiPageWikiLink Disjoint_union.
- History_monoid wikiPageWikiLink Empty_string.
- History_monoid wikiPageWikiLink Free_monoid.
- History_monoid wikiPageWikiLink Free_object.
- History_monoid wikiPageWikiLink Indicator_function.
- History_monoid wikiPageWikiLink Isomorphism.
- History_monoid wikiPageWikiLink Kleene_star.
- History_monoid wikiPageWikiLink Lock_(computer_science).
- History_monoid wikiPageWikiLink Mathematics.
- History_monoid wikiPageWikiLink Monoid.
- History_monoid wikiPageWikiLink Mutual_exclusion.
- History_monoid wikiPageWikiLink Process_(computing).
- History_monoid wikiPageWikiLink Process_calculus.
- History_monoid wikiPageWikiLink Product_(category_theory).
- History_monoid wikiPageWikiLink State_(computer_science).
- History_monoid wikiPageWikiLink String_(computer_science).
- History_monoid wikiPageWikiLink String_operations.
- History_monoid wikiPageWikiLink Synchronization_(computer_science).
- History_monoid wikiPageWikiLink Thread_(computing).
- History_monoid wikiPageWikiLink Trace_monoid.
- History_monoid wikiPageWikiLink Turing_machine.
- History_monoid wikiPageWikiLink Union_(set_theory).
- History_monoid wikiPageWikiLink Universal_property.
- History_monoid wikiPageWikiLinkText "History monoid".
- History_monoid wikiPageWikiLinkText "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 hypernym Way.
- History_monoid type Area.
- History_monoid type Language.
- History_monoid type Area.
- History_monoid type Combinatoric.
- History_monoid type Language.
- History_monoid type Structure.
- 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.".
- History_monoid label "History monoid".
- History_monoid sameAs Q5774850.
- History_monoid sameAs m.02qrg7p.
- History_monoid sameAs Q5774850.
- History_monoid wasDerivedFrom History_monoid?oldid=653870578.
- History_monoid isPrimaryTopicOf History_monoid.