Goals

  • Show how structures in a process theory lead to particular algorithms.
  • Define ways that the structure of a process theory affect the complexity of algorithms within it.
  • Use the abstract setting of process theories to generalize existing algorithms.
  • Use the abstract setting of process theories to find new algorithms.

Papers

Talks

People