| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 04 Mar 2014 16:47:54 +0000 | |
| changeset 29 | 408ff78ce28f |
| parent 0 | 110247f9d47e |
| child 30 | 7f87232d9424 |
| child 35 | 92f61f6a0fe7 |
| permissions | -rw-r--r-- |
Theories: ========= Precedence_ord.thy A theory of precedences. Moment.thy The notion of moment. PrioGDef.thy The formal definition of the PIP-model. PrioG.thy Basic properties of the PIP-model. ExtGG.thy The correctness proof of the PIP-model. CpsG.thy Properties interesting for an implementation. The repository can be checked using Isabelle 2013-2. isabelle build -d . PIP Othe directories are: ===================== Slides Paper Journal Literature