Diffusion afp-devel afac058b12ea

new entry Coupledsim_Contrasim
afac058b12ea
Actions

Tags

None

Subscribers

None

Description

new entry Coupledsim_Contrasim

Details

Provenance

Authored on

Parents

rAFPb656d667755f: sitegen;

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPafac058b12ea: new entry Coupledsim_Contrasim.Oct 11 2023, 7:32 AM

Changes (70)

Path

Size

Coupledsim_Contrasim.toml

Coupledsim_Contrasim

Contrasim_Set_Game.thy

Contrasim_Word_Game.thy

Contrasimulation.thy

Coupled_Simulation.thy

Coupledsim_Fixpoint_Algo_Delay.thy

Coupledsim_Game_Delay.thy

HM_Logic_Infinitary.thy

Simple_Game.thy

Strong_Relations.thy

Transition_Systems.thy

Weak_HML_Contrasimulation.thy

Weak_Relations.thy

Weak_Transition_Systems.thy

bisping/

brodmann/

jungnickel/

nestmann/

peters/

rickmann/

seidler/

stueber/

weidner/

data/

Coupledsim_Contrasim.html

coupledsim_contrasim

statistics/

topics/

computer-science/

concurrency/

logic/

general-logic/

modal-logic/

mathematics/

games-and-economics/

rAFPafac058b12ea

metadata/authors.toml

Loading...

metadata/entries/Coupledsim_Contrasim.toml

Loading...

thys/Coupledsim_Contrasim/Contrasim_Set_Game.thy

Loading...

thys/Coupledsim_Contrasim/Contrasim_Word_Game.thy

Loading...

thys/Coupledsim_Contrasim/Contrasimulation.thy

Loading...

thys/Coupledsim_Contrasim/Coupled_Simulation.thy

Loading...

thys/Coupledsim_Contrasim/Coupledsim_Fixpoint_Algo_Delay.thy

Loading...

thys/Coupledsim_Contrasim/Coupledsim_Game_Delay.thy

Loading...

thys/Coupledsim_Contrasim/HM_Logic_Infinitary.thy

Loading...

thys/Coupledsim_Contrasim/README.md

Loading...

thys/Coupledsim_Contrasim/ROOT

Loading...

thys/Coupledsim_Contrasim/Simple_Game.thy

Loading...

thys/Coupledsim_Contrasim/Strong_Relations.thy

Loading...

thys/Coupledsim_Contrasim/Tau_Sinks.thy

Loading...

thys/Coupledsim_Contrasim/Transition_Systems.thy

Loading...

thys/Coupledsim_Contrasim/Weak_HML_Contrasimulation.thy

Loading...

thys/Coupledsim_Contrasim/Weak_Relations.thy

Loading...

thys/Coupledsim_Contrasim/Weak_Transition_Systems.thy

Loading...

thys/Coupledsim_Contrasim/document/root.bib

Loading...

thys/Coupledsim_Contrasim/document/root.tex

Loading...

thys/Coupledsim_Contrasim/document/splncs04.bst

Loading...

thys/ROOTS

Loading...

web/authors/bisping/index.html

Loading...

web/authors/bisping/index.xml

Loading...

web/authors/brodmann/index.html

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/jungnickel/index.html

Loading...

web/authors/montanari/index.html

Loading...

web/authors/montanari/index.xml

Loading...

web/authors/nestmann/index.html

Loading...

web/authors/peters/index.html

Loading...

web/authors/rickmann/index.html

Loading...

web/authors/seidler/index.html

Loading...

web/authors/stueber/index.html

Loading...

web/authors/weidner/index.html

Loading...

web/data/keywords.json

Loading...

web/entries/Coupledsim_Contrasim.html

Loading...

web/entries/FLP.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sessions/coupledsim_contrasim/index.html

Loading...

web/sessions/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/computer-science/concurrency/index.html

Loading...

web/topics/computer-science/concurrency/index.xml

Loading...

web/topics/computer-science/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/logic/general-logic/index.xml

Loading...

web/topics/logic/general-logic/modal-logic/index.html

Loading...

web/topics/logic/general-logic/modal-logic/index.xml

Loading...

web/topics/logic/index.xml

Loading...

web/topics/mathematics/games-and-economics/index.html

Loading...

web/topics/mathematics/games-and-economics/index.xml

Loading...

web/topics/mathematics/index.xml

Loading...