Home
DCC eCatalog
S.__Arun-kumar
Conformance: A precongruence close to bisimilarity
