On finite bases for weak semantics: failures versus impossible futures

Chen, Taolue; van Glabbeek, Rob; Fokkink, Wan

T. Chen (Taolue), R.J. van Glabbeek (Rob) and W.J. Fokkink (Wan)

2009

On finite bases for weak semantics: failures versus impossible futures

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
MSC	Semantics (msc 68Q55)
THEME	Software (theme 1)
Publisher	Springer
Conference	International Conference on Current Trends in Theory and Practice of Computer Science
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Chen, T., van Glabbeek, R.& Fokkink, W. (2009). On finite bases for weak semantics: failures versus impossible futures. Lecture Notes in Computer Science, 167–180.

Full Text ( Final Version , 280kb )

On finite bases for weak semantics: failures versus impossible futures

Publication

Publication

Address

CWI researchers

Questions or comments?

On finite bases for weak semantics: failures versus impossible futures

Publication

Publication

Workflow

Workflow

Add Content