HomeIsabelle/Phabricator
Diffusion afp-devel df750599e814

new entry Chandy_Lamport
df750599e814
Actions

Description

new entry Chandy_Lamport

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP0252745a70fc: new entry Relational_Paths
Branches
Unknown
Tags
Unknown

Changes (14)

PathSize

rAFPdf750599e814

View Options

thys/Chandy_Lamport/Co_Snapshot.thy

Loading...
View Options

thys/Chandy_Lamport/Distributed_System.thy

Loading...
View Options

thys/Chandy_Lamport/Example.thy

Loading...
View Options

thys/Chandy_Lamport/ROOT

Loading...
View Options

thys/Chandy_Lamport/Snapshot.thy

Loading...
View Options

thys/Chandy_Lamport/Swap.thy

Loading...
View Options

thys/Chandy_Lamport/Trace.thy

Loading...
View Options

thys/Chandy_Lamport/Util.thy

Loading...
View Options

thys/Chandy_Lamport/document/root.bib

Loading...
View Options

thys/Chandy_Lamport/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...