Sciweavers

2 search results - page 1 / 1
» On Finite Bases for Weak Semantics: Failures Versus Impossib...
Sort
View
SOFSEM
2009
Springer
14 years 4 months ago
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek
CATS
2008
13 years 8 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