Login / Signup

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

David de Frutos-EscrigMiguel PalominoIgnacio Fábregas
Published in: FORTE (2008)
Keyphrases