Publications by Year
sign in
In Proceedings
Search:
Search
R. de Nicola
,
U. Montanari
and
F.W. Vaandrager (Frits)
1990
Back and forth bisimulations
Publication
Publication
Presented at the
International Conference on Concurrency Theory
, Amsterdam
Additional Metadata
MSC
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10)
Publisher
Springer (Berlin)
Conference
International Conference on Concurrency Theory
Citation
APA Style
AAA Style
APA 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., Montanari, U., & Vaandrager, F. (1990). Back and forth bisimulations. Springer (Berlin).
Full Text
( Final Version , 2mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection