About: Trace theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Theory of trace monoids

Property	Value
dbo:description	Theory of trace monoids (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20170908153838/https:/pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245f28909f259c034.pdf
dbo:wikiPageWikiLink	dbr:Volker_Diekert dbr:Free_monoid dbr:Petri_net dbr:Dominique_Foata dbc:Trace_theory dbr:Abstract_algebra dbr:Combinatorics dbr:Mathematics dbr:Formal_language dbr:Trace_(linguistics) dbr:Dependency_graph dbr:Graph_theory dbc:Formal_languages dbr:Arto_Salomaa dbr:Pierre_Cartier_(mathematician) dbr:Trace_monoid dbr:Computer_science dbc:Concurrent_computing dbr:Grzegorz_Rozenberg dbr:History_monoid dbr:Antoni_Mazurkiewicz dbr:Isomorphic dbr:LNCS dbr:Free_partially_commutative_monoid dbr:Process_calculi dbr:Concurrent_computation
dbp:wikiPageUsesTemplate	dbt:Hatnote dbt:Formalmethods-stub dbt:ISBN dbt:Short_description
dct:subject	dbc:Trace_theory dbc:Formal_languages dbc:Concurrent_computing
rdfs:label	Trace theory (en)
owl:sameAs	freebase:Trace theory yago-res:Trace theory wikidata:Trace theory dbpedia-global:Trace theory dbr:Trace theory
prov:wasDerivedFrom	wikipedia-en:Trace_theory?oldid=1075658481&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Trace_theory
is dbo:wikiPageWikiLink of	dbr:Petri_net dbr:Communicating_sequential_processes dbr:Dependency_relation dbr:Index_of_philosophy_articles_(R–Z) dbr:Concurrent_computing dbr:Trace_monoid dbr:Rewriting dbr:Vector_addition_system dbr:Mazurkiewicz
is foaf:primaryTopic of	wikipedia-en:Trace_theory

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International