Sciweavers

2 search results - page 1 / 1
» On Finite Bases for Weak Semantics: Failures Versus Impossib...
Sort
View
49
Voted
SOFSEM
2009
Springer
15 years 6 months ago
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek
CATS
2008
14 years 11 months ago
Weak Parametric Failure Equivalences and Their Congruence Formats
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
Xiaowei Huang, Li Jiao, Weiming Lu