-
Notifications
You must be signed in to change notification settings - Fork 3
My Thesis on the π-calculus, a formal language for distributed computing
quicklywilliam/thesis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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 0
No packages published