Contents

• Motivation

• Support for threads in JAVA

• Safety

• Liveness

• State-dependent actions

• Design issues

• Final remarks

Previous slide

Next slide

Back to first slide

View graphic version