E
ncodability_
P
rocess_
C
alculi
Relations
ProcessCalculi
SimulationRelations
Encodings
SourceTargetRelation
SuccessSensitiveness
DivergenceReflection
OperationalCorrespondence
FullAbstraction
CombinedCriteria