menu

Return to entry

Relations
ProcessCalculi
SimulationRelations
Encodings
SourceTargetRelation
SuccessSensitiveness
DivergenceReflection
OperationalCorrespondence
FullAbstraction
CombinedCriteria

Encodability_Process_Calculi.OperationalCorrespondence

HTML Presentation