Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.
| Autor: | Gribovskaya, Natalya1 natamosk@ngs.ru, Virbitskaite, Irina1,2 virb@iis.nsk.su |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2009, Vol. 93 Issue 1-3, p127-142. 16p. 3 Diagrams. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|