Action refinement and equivalence notions for timed event structures (Q2880595)
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: Action refinement and equivalence notions for timed event structures
scientific article; zbMATH DE number 6024055
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Action refinement and equivalence notions for timed event structures |
scientific article; zbMATH DE number 6024055 |
Statements
13 April 2012
0 references
dense time extension
0 references
conflict-free event structure
0 references
dense time domain
0 references
Action refinement and equivalence notions for timed event structures (English)
0 references
0.8838819265365601
0 references
0.876650869846344
0 references
0.8564661145210266
0 references
