Skip to content

My Thesis on the π-calculus, a formal language for distributed computing

Notifications You must be signed in to change notification settings

quicklywilliam/thesis

Repository files navigation

This thesis is a work in progress, to be finished (with any luck) at the end of April in satisfaction with my BA in Mathematics at Reed College.  I'm making it available under BSD, but please do contact me if you'd like to do anything significant with it.  Thanks!

Find an error?  email me at:
[email protected]

About

My Thesis on the π-calculus, a formal language for distributed computing

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages