Skip to content

A Hierarchy of Equivalences for Probabilistic Processes.

Manuel Nez, Luis Fernando Llana Daz

VenueCFORTE
Year2008
ProceedingsFORTE

Browse the full FORTE paper archive.