Modelling Concurrency with Quotient Monoids (Q3510871)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modelling Concurrency with Quotient Monoids |
scientific article; zbMATH DE number 5297107
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modelling Concurrency with Quotient Monoids |
scientific article; zbMATH DE number 5297107 |
Statements
Modelling Concurrency with Quotient Monoids (English)
0 references
3 July 2008
0 references
quotient monoids
0 references
traces
0 references
comtraces
0 references
step sequences
0 references
stratified partial orders
0 references
stratified order structures
0 references
canonical representations
0 references
0 references
0.9038808
0 references
0.8797233
0 references
0 references
0 references
0.86497235
0 references
0.86388373
0 references
0.86256325
0 references
