Is timed branching bisimilarity a congruence indeed?

2008-09-01

Fundamenta Informaticae , Volume 87 - Issue 3/4 p. 287- 311

Additional Metadata
THEME	Software (theme 1)
Publisher	IOS Press
Journal	Fundamenta Informaticae
Organisation	Software Analysis and Transformation
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	Fokkink, W., Pang, J.& Wijs, A. (2008). Is timed branching bisimilarity a congruence indeed?. Fundamenta Informaticae, 87(3/4), 287–311.

Publication