2009
On finite bases for weak semantics: failures versus impossible futures
Publication
Publication
Presented at the
International Conference on Current Trends in Theory and Practice of Computer Science (January 2009), Špindlerův Mlýn, Czech Republic
| Additional Metadata | |
|---|---|
| Springer | |
| International Conference on Current Trends in Theory and Practice of Computer Science | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Chen, T., van Glabbeek, R., & Fokkink, W. (2009). On finite bases for weak semantics: failures versus impossible futures. In Lecture Notes in Computer Science (pp. 167–180). Springer. |
|
