| Property |
Value |
| dbo:abstract
|
- En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces oumonoïde partiellement commutatif libre est le monoïde quotient dumonoïde libre par une relation de commutation de lettres. Le monoïdedes traces est donc une structure qui se situe entre le monoïde libreet le monoïde commutatif libre. L'intérêt mathématique du monoïde des traces a été mis en évidencedans l'ouvrage fondateur . Les traces apparaissent dans la modélisation en programmation concurrente, où les lettres qui peuvent commuter représentent des parties de processus qui peuvent s'exécuter de façon indépendante, alors que les lettres qui ne commutent pas représentent des verrous, leur synchronisation ou l'union de threads. Ce modèle a été proposé dans . (fr)
- En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces oumonoïde partiellement commutatif libre est le monoïde quotient dumonoïde libre par une relation de commutation de lettres. Le monoïdedes traces est donc une structure qui se situe entre le monoïde libreet le monoïde commutatif libre. L'intérêt mathématique du monoïde des traces a été mis en évidencedans l'ouvrage fondateur . Les traces apparaissent dans la modélisation en programmation concurrente, où les lettres qui peuvent commuter représentent des parties de processus qui peuvent s'exécuter de façon indépendante, alors que les lettres qui ne commutent pas représentent des verrous, leur synchronisation ou l'union de threads. Ce modèle a été proposé dans . (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9609 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1969 (xsd:integer)
- 1977 (xsd:integer)
- 1990 (xsd:integer)
- 1995 (xsd:integer)
- 1997 (xsd:integer)
|
| prop-fr:auteursOuvrage
|
- G. Rozenberg, A. Salomaa (fr)
- V. Diekert, G. Rozenberg (fr)
- G. Rozenberg, A. Salomaa (fr)
- V. Diekert, G. Rozenberg (fr)
|
| prop-fr:collection
|
- Lecture Notes in Mathematics (fr)
- Lecture Notes in Mathematics (fr)
|
| prop-fr:id
|
- Diekert1990 (fr)
- Mazurkiewicz95 (fr)
- TheBookOfTraces (fr)
- Diekert1990 (fr)
- Mazurkiewicz95 (fr)
- TheBookOfTraces (fr)
|
| prop-fr:isbn
|
- 978 (xsd:integer)
- 3540530312 (xsd:decimal)
- 9810220588 (xsd:decimal)
|
| prop-fr:journal
|
- Lecture Notes in Computer Science, vol. 454 (fr)
- Lecture Notes in Computer Science, vol. 454 (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lccn
| |
| prop-fr:lienAuteur
|
- Pierre Cartier (fr)
- Pierre Cartier (fr)
|
| prop-fr:lieu
|
- Singapour (fr)
- Singapour (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Cartier (fr)
- Métivier (fr)
- Volker Diekert (fr)
- Diekert (fr)
- Mazurkiewicz (fr)
- Foata (fr)
- Volker Diekert et Gregorz Rozenberg (fr)
- Cartier (fr)
- Métivier (fr)
- Volker Diekert (fr)
- Diekert (fr)
- Mazurkiewicz (fr)
- Foata (fr)
- Volker Diekert et Gregorz Rozenberg (fr)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
|
- 3 (xsd:integer)
- 457 (xsd:integer)
|
| prop-fr:prénom
|
- Dominique (fr)
- Pierre (fr)
- Yves (fr)
- Volker (fr)
- Antoni (fr)
- Dominique (fr)
- Pierre (fr)
- Yves (fr)
- Volker (fr)
- Antoni (fr)
|
| prop-fr:titre
|
- Problèmes combinatoires de commutation et réarrangements (fr)
- Combinatorics on traces (fr)
- The Book of Traces (fr)
- Concurrent program schemes and their interpretations (fr)
- Problèmes combinatoires de commutation et réarrangements (fr)
- Combinatorics on traces (fr)
- The Book of Traces (fr)
- Concurrent program schemes and their interpretations (fr)
|
| prop-fr:titreChapitre
|
- Introduction to Trace Theory (fr)
- Partial Commutation and Traces (fr)
- Introduction to Trace Theory (fr)
- Partial Commutation and Traces (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Formal Languages (fr)
- The Book of Traces (fr)
- Handbook of Formal Languages (fr)
- The Book of Traces (fr)
|
| prop-fr:titreVolume
|
- Beyond Words (fr)
- Beyond Words (fr)
|
| prop-fr:url
|
- ftp://ftp.informatik.uni-stuttgart.de/pub/techreports/theorie/handbook.ps (fr)
- ftp://ftp.informatik.uni-stuttgart.de/pub/techreports/theorie/handbook.ps (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces oumonoïde partiellement commutatif libre est le monoïde quotient dumonoïde libre par une relation de commutation de lettres. (fr)
- En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces oumonoïde partiellement commutatif libre est le monoïde quotient dumonoïde libre par une relation de commutation de lettres. (fr)
|
| rdfs:label
|
- Monoïde des traces (fr)
- Trace monoid (en)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
