Reverse Bisimilarity vs. Forward Bisimilarity.

Marco Bernardo, Sabina Rossi

Browse the full FOSSACS paper archive.