On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

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

doi:10.1007/978-3-540-95891-8_18

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

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

Research output: Contribution to Journal › Article › Academic › peer-review

163 Downloads (Pure)

Original language	English
Pages (from-to)	167-180
Journal	Lecture Notes in Computer Science
Volume	5404
DOIs	https://doi.org/10.1007/978-3-540-95891-8_18
Publication status	Published - 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

Access to Document

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

219531Final published version, 280 KB

Persistent URL (handle)

Persistent link

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 Science and Business Media Deutschland GmbH",

}

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

SN - 0302-9743

VL - 5404

SP - 167

EP - 180

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -