Session Encodability_Process_Calculi
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.LaTeXsugar
HOL-Library.OptionalSugar
Relations
ProcessCalculi
SimulationRelations
Encodings
SourceTargetRelation
SuccessSensitiveness
DivergenceReflection
OperationalCorrespondence
FullAbstraction
CombinedCriteria