Home

S.__Arun-kumar



Conformance: A precongruence close to bisimilarity