Relations

ProcessCalculi

SimulationRelations

Encodings

SourceTargetRelation

SuccessSensitiveness

DivergenceReflection

OperationalCorrespondence

FullAbstraction

CombinedCriteria