Diffusion afp-devel 7b6e642f98f1

New entry WOOT_Strong_Eventual_Consistency
7b6e642f98f1
Actions

Tags

None

Subscribers

None

Description

New entry WOOT_Strong_Eventual_Consistency

Details

Provenance

Authored on

Parents

rAFPf240cf67fc1f: sitegen + fix of ROOT file

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP7b6e642f98f1: New entry WOOT_Strong_Eventual_Consistency.Mar 26 2020, 12:18 PM

Changes (32)

Path

Size

metadata/

WOOT_Strong_Eventual_Consistency

BasicAlgorithms.thy

Consistency.thy

CreateAlgorithms.thy

CreateConsistent.thy

DistributedExecution.thy

IntegrateAlgorithm.thy

IntegrateInsertCommute.thy

StrongConvergence.thy

Certification_Monads.html

Datatype_Order_Generator.html

WOOT_Strong_Eventual_Consistency.html

statistics.html

rAFP7b6e642f98f1

metadata/metadata

Loading...

thys/ROOTS

Loading...

thys/WOOT_Strong_Eventual_Consistency/BasicAlgorithms.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/Consistency.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/CreateAlgorithms.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/CreateConsistent.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/Data.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/DistributedExecution.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/ErrorMonad.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/Example.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/IntegrateAlgorithm.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/IntegrateInsertCommute.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/Psi.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/ROOT

Loading...

thys/WOOT_Strong_Eventual_Consistency/SEC.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/SortKeys.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/Sorting.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/StrongConvergence.thy

Loading...

thys/WOOT_Strong_Eventual_Consistency/document/root.bib

Loading...

thys/WOOT_Strong_Eventual_Consistency/document/root.tex

Loading...

web/entries/Certification_Monads.html

Loading...

web/entries/Datatype_Order_Generator.html

Loading...

web/entries/WOOT_Strong_Eventual_Consistency.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...