Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • master
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019Mar97427Feb23191327Jan262524232219181327Dec829Nov28171614624Oct1913109875329Sep26222015730Aug2823221584128Jul25201811325Jun2085432131May3029282725242322181725Apr2014131Mar30292123Feb1312Jan411Dec20Oct181211417Aug27Jul21191824May218Jan74331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861lics reviewsmainmainmonoid stuffadd missing filemove files related to coinductive Delay typeprogress on adequacy proofupload GlobalBisimglobal liftwork on weak bisimilarity filegeneral results involving clocksremove some files that are no longer used12 pagesmore squeezingmore space squeezesqueeze some spaceeditingfix adequacy in section 3Revise sections 1 and 2max appendix fixfix a lot of referencessmall changes in adequacy proofupdate referenceswork on proof of adequacy and move it to concrete model; work on dyn in concrete modeldiscussion revisionsnote for Ericsyntax sectionwork on discussionupdate some definitions in the abstract modelfix trailing sentencediscuss Siek-Chenupdate discussionerrors in the extensional modelremove outdated sectionmore syntax and sketch semantics in extensional modelupdate definitionsupdates mostly to extensional modelwork on concrete modelrevise discussionchanges to categorical modelupdates to appendixmore intro