Programming Language Theory: Difference between revisions
| Line 140: | Line 140: | ||
==Concurrency== | ==Concurrency== | ||
'''FIXME''' π-calculus, CSS, CSP, petri nets, dataflow variables... | *'''FIXME''' π-calculus, CSS, CSP, petri nets, dataflow variables... | ||
'''FIXME''' message-passing, shared-state | *'''FIXME''' message-passing, shared-state | ||
==Programming Language Design== | ==Programming Language Design== | ||