Nothing But a Number
Spatial Logics allow one to reason about the behaviour and structure of concurrent programs. SLMC is a spatial logic model checker for pi-calculus processes. As a little excercise I used it for reasoning about Church numerals and processes that operate on them.
Continue Reading 4 comments April 5th, 2006 matthias