Modeling Concurrency

• Need to compose parts described by FSMs

• Interconnected FSMs specify system

• How do the interconnected FSMs talk to each other?

Previous slide

Next slide

Back to first slide

View graphic version