On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

Lecture Notes in Computer Science - SOFSEM 2009: Theory and Practice of Computer Science ◽

10.1007/978-3-540-95891-8_18 ◽

2009 ◽

pp. 167-180

Author(s):

Taolue Chen ◽

Wan Fokkink ◽

Rob van Glabbeek

Download Full-text