|
|||||
|
|
Failures semantics based on interval semiwords is a congruence for refinement |
|
| Authors: | Walter Vogler |
| Affiliation: | (1) Institut für Informatik, Technische Universität, Arcisstrasse 21, W-8000 München 2, Federal Republic of Germany |
| Abstract: | |
| Keywords: | Petri nets Action refinement Partial order semantics Interval orders Failures semantics Divergence |
| 本文献已被 SpringerLink 等数据库收录！ | |