About: History monoid

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://citeseer.ist.psu.edu/diekert97partial.html
dbo:wikiPageWikiLink	dbr:Mathematics dbr:Computer_science dbr:Turing_machine dbr:Arto_Salomaa dbr:Dependency_graph dbr:Lock_(computer_science) dbr:Trace_monoid dbr:Cartesian_product dbr:String_(computer_science) dbr:Indicator_function dbr:Universal_property dbr:Communicating_sequential_processes dbr:Calculus_of_communicating_systems dbr:Monoid dbr:Thread_(computing) dbr:State_(computer_science) dbr:Isomorphism dbr:Empty_string dbc:Formal_languages dbr:Category_(mathematics) dbr:Disjoint_union dbr:Kleene_star dbr:Free_monoid dbr:Free_object dbr:Dependency_relation dbc:Semigroup_theory dbc:Free_algebraic_structures dbc:Concurrency_(computer_science) dbr:Commutative dbr:Mutex dbr:Categorical_product dbr:Process_(computer_science) dbr:Process_calculi dbr:Alphabet_(computer_science) dbr:Concurrent_computation dbr:Synchronization_primitive dbr:Thread_(computer_science) dbr:Thread_join dbr:Set_union dbr:String_projection
dbp:wikiPageUsesTemplate	dbt:ISBN
dct:subject	dbc:Formal_languages dbc:Semigroup_theory dbc:Free_algebraic_structures dbc:Concurrency_(computer_science)
gold:hypernym	dbr:Way
rdfs:label	History monoid (en)
owl:sameAs	yago-res:History monoid freebase:History monoid wikidata:History monoid dbpedia-global:History monoid
prov:wasDerivedFrom	wikipedia-en:History_monoid?oldid=1166185336&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:History_monoid
is dbo:wikiPageRedirects of	dbr:Distribution_(concurrency)
is dbo:wikiPageWikiLink of	dbr:Process_calculus dbr:Synchronization_(computer_science) dbr:Product_(category_theory) dbr:Trace_monoid dbr:Communicating_sequential_processes dbr:Calculus_of_communicating_systems dbr:Rewriting dbr:Monoid dbr:Free_monoid dbr:Trace_theory dbr:Index_of_philosophy_articles_(D–H) dbr:State_transition_network dbr:Distribution_(concurrency)
is foaf:primaryTopic of	wikipedia-en:History_monoid