Programming Language Theory: Difference between revisions
No edit summary |
|||
| Line 92: | Line 92: | ||
==Concurrency== | ==Concurrency== | ||
* '''FIXME''' π-calculus, CSP, petri nets... | * '''FIXME''' π-calculus, CSS, CSP, petri nets... | ||
==Objects== | ==Objects== | ||
Check out my first novel, midnight's simulacra!
No edit summary |
|||
| Line 92: | Line 92: | ||
==Concurrency== | ==Concurrency== | ||
* '''FIXME''' π-calculus, CSP, petri nets... | * '''FIXME''' π-calculus, CSS, CSP, petri nets... | ||
==Objects== | ==Objects== | ||