/Cost-Calculisp

$-Calculus implementation in Common Lisp

Primary LanguageCommon LispMIT LicenseMIT

Cost calculus is a process calculus for 'super turing' computation devised by Dr. Eugene Eberbach. It is intended to be the next step after process calculii such as pi-calculus.  This is a git repo of my master's project to implement it in Common Lisp as a DSL. More to come...