On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

T. Chen, W.J. Fokkink, R.J. van Glabbeek

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)167-180
JournalLecture Notes in Computer Science
Volume5404
DOIs
Publication statusPublished - 2009

Bibliographical note

DBLP:conf/sofsem/ChenFG09
Proceedings title: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Publisher: Springer
Editors: M. Nielsen, A. Kucera, P.B. Miltersen, C. Palamidessi, P. Tuma, F.D. Valencia

Cite this

@article{6369e7352e584db291e5f4b39a963e49,
title = "On Finite Bases for Weak Semantics: Failures Versus Impossible Futures",
author = "T. Chen and W.J. Fokkink and {van Glabbeek}, R.J.",
note = "DBLP:conf/sofsem/ChenFG09 Proceedings title: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml{\'y}n, Czech Republic, January 24-30, 2009. Proceedings Publisher: Springer Editors: M. Nielsen, A. Kucera, P.B. Miltersen, C. Palamidessi, P. Tuma, F.D. Valencia",
year = "2009",
doi = "10.1007/978-3-540-95891-8_18",
language = "English",
volume = "5404",
pages = "167--180",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. / Chen, T.; Fokkink, W.J.; van Glabbeek, R.J.

In: Lecture Notes in Computer Science, Vol. 5404, 2009, p. 167-180.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

AU - Chen, T.

AU - Fokkink, W.J.

AU - van Glabbeek, R.J.

N1 - DBLP:conf/sofsem/ChenFG09 Proceedings title: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings Publisher: Springer Editors: M. Nielsen, A. Kucera, P.B. Miltersen, C. Palamidessi, P. Tuma, F.D. Valencia

PY - 2009

Y1 - 2009

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

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

M3 - Article

VL - 5404

SP - 167

EP - 180

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -