newpsi

A new semantics for psi-calculi that does not require channels to be symmetric nor transitive.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Agent.thy		Agent.thy
Bisim_Pres.thy		Bisim_Pres.thy
Bisim_Struct_Cong.thy		Bisim_Struct_Cong.thy
Bisim_Subst.thy		Bisim_Subst.thy
Bisimulation.thy		Bisimulation.thy
Chain.thy		Chain.thy
Close_Subst.thy		Close_Subst.thy
Frame.thy		Frame.thy
Old_Bisimulation.thy		Old_Bisimulation.thy
Old_Semantics.thy		Old_Semantics.thy
Old_Simulation.thy		Old_Simulation.thy
Old_Tau_Chain.thy		Old_Tau_Chain.thy
Old_Weak_Bisimulation.thy		Old_Weak_Bisimulation.thy
Old_Weak_Simulation.thy		Old_Weak_Simulation.thy
README.md		README.md
ROOT		ROOT
Semantics.thy		Semantics.thy
Sim_Pres.thy		Sim_Pres.thy
Sim_Struct_Cong.thy		Sim_Struct_Cong.thy
Simulation.thy		Simulation.thy
Structural_Congruence.thy		Structural_Congruence.thy
Subst_Term.thy		Subst_Term.thy
Tau_Chain.thy		Tau_Chain.thy
Weak_Bisim_Pres.thy		Weak_Bisim_Pres.thy
Weak_Bisim_Struct_Cong.thy		Weak_Bisim_Struct_Cong.thy
Weak_Bisim_Subst.thy		Weak_Bisim_Subst.thy
Weak_Bisimulation.thy		Weak_Bisimulation.thy
Weak_Cong_Pres.thy		Weak_Cong_Pres.thy
Weak_Cong_Sim_Pres.thy		Weak_Cong_Sim_Pres.thy
Weak_Cong_Simulation.thy		Weak_Cong_Simulation.thy
Weak_Cong_Struct_Cong.thy		Weak_Cong_Struct_Cong.thy
Weak_Congruence.thy		Weak_Congruence.thy
Weak_Psi_Congruence.thy		Weak_Psi_Congruence.thy
Weak_Sim_Pres.thy		Weak_Sim_Pres.thy
Weak_Simulation.thy		Weak_Simulation.thy
Weak_Stat_Imp.thy		Weak_Stat_Imp.thy
Weak_Stat_Imp_Pres.thy		Weak_Stat_Imp_Pres.thy
Weaken_Bisimulation.thy		Weaken_Bisimulation.thy
Weaken_Simulation.thy		Weaken_Simulation.thy
Weaken_Stat_Imp.thy		Weaken_Stat_Imp.thy
Weaken_Transition.thy		Weaken_Transition.thy
Weakening.thy		Weakening.thy

IlmariReissumies/newpsi

Folders and files

Latest commit

History

Repository files navigation

newpsi

About

Resources

Stars

Watchers

Forks

Languages