Computation over networks

• Quantitative - Simulation

• Qualitative - Analysis

  • graph based
  • pi-calculus

• Both - e.g. petri nets

• Display - automatic graph layout

?Constraints?

Previous slide

Next slide

Back to first slide

View graphic version