GitHub - CertiKOS/rbgs-papers: Publications about refinement-based game semantics · GitHub

Name		Name	Last commit message	Last commit date
algebras		algebras
certikos		certikos
compcertoe		compcertoe
compcertox		compcertox
leopam		leopam
overview		overview
rbgs-cal		rbgs-cal
rbgs-compcert		rbgs-compcert
security		security
shf26		shf26
swapcontext		swapcontext
thesis		thesis
yu-thesis		yu-thesis
.gitignore		.gitignore
TODO.md		TODO.md
references.bib		references.bib

About

Publications about refinement-based game semantics

Custom properties

3 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages