menu

Return to entry

Relations
ProcessCalculi
Encodings
SimulationRelations
SimulationRelationsOnEncodedLabels
SourceTargetRelation
SuccessSensitiveness
DivergenceReflection
OperationalCorrespondence
FullAbstraction
CombinedCriteria

Encodability_Process_Calculi.SimulationRelationsOnEncodedLabels

HTML Presentation