HomeIsabelle/Phabricator
Diffusion afp-devel 31ea85757858

new entry Broadcast_Psi
31ea85757858
Actions

Description

new entry Broadcast_Psi

Details

Provenance
traytelAuthored on
Parents
rAFP52c5d242c69f: sitegen for Doob_Convergence
Branches
Unknown
Tags
Unknown

Changes (18)

PathSize

rAFP31ea85757858

View Options

thys/Broadcast_Psi/Bisim_Pres.thy

Loading...
View Options

thys/Broadcast_Psi/Bisim_Struct_Cong.thy

Loading...
View Options

thys/Broadcast_Psi/Bisim_Subst.thy

Loading...
View Options

thys/Broadcast_Psi/Bisimulation.thy

Loading...
View Options

thys/Broadcast_Psi/Broadcast_Chain.thy

Loading...
View Options

thys/Broadcast_Psi/Broadcast_Frame.thy

Loading...
View Options

thys/Broadcast_Psi/Broadcast_Thms.thy

Loading...
View Options

thys/Broadcast_Psi/ROOT

Loading...
View Options

thys/Broadcast_Psi/Semantics.thy

Loading...
View Options

thys/Broadcast_Psi/Sim_Pres.thy

Loading...
View Options

thys/Broadcast_Psi/Sim_Struct_Cong.thy

Loading...
View Options

thys/Broadcast_Psi/Simulation.thy

Loading...
View Options

thys/Broadcast_Psi/document/root.bib

Loading...
View Options

thys/Broadcast_Psi/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...