Three logics for branching bisimulation

Additional Metadata
MSC	Modal logic (including the logic of norms) (msc 03B45), Logic in computer science (msc 03B70), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	IEEE Computer Society Press (Los Alamitos, CA)
Conference	IEEE Symposium on Logic in Computer Science
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	de Nicola, R.& Vaandrager, F. (1990). Three logics for branching bisimulation. Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science, 118–129.

Publication