	
		Java and LTSA EXAMPLES

2. Java and Concurrency

	chapter2_lts/SWITCH.LTS
	chapter2_lts/OneShot.lts
	chapter2_lts/DRINKS.LTS
	chapter2_lts/COIN.LTS
	chapter2_lts/COUNT.LTS
	simple.lts
		Also includes TwoThreadsDemo
	Simple.TwoThreadsDemo
	thread.lts
		Java thread lifecycle
	Clock.Clock applet

3. Synchronization and Safety

	chapter3_lts/maker_user.lts
	chapter3_lts/maker_userv2.lts
	chapter3_lts/FACTORY.LTS
	inc-conflict.lts
		Increment decrement conflict
	lock.lts
		Conflict resolved
	busywait.lts
	brokenbusywait.lts
	slot.lts
	Slot.Main.ProducerConsumerDemo

4. Safety Patterns

	Counter.Main.doit?

5. Safety and Liveness

	chapter7_lts/ACTUATOR.LTS
	chapter7_lts/Safe actuator.lts
		Compose these two and check safety
	checkActuator.lts
	chapter7_lts/COIN.LTS
	chapter7_lts/TWOCOIN.LTS
	chapter6_lts/MOVE.LTS
	chapter6_lts/DiningPhilosophers.lts

6. Liveness and Guarded Methods

	Counter.BoundedCounter*

7. Lab session I

8. Liveness and Asynchrony

	Lab I Solutions

	Slot.EarlyReplyDemo
	Slot.FutureDemo

9. Condition Objects

	Counter.Main.nestedMonitor
	Counter.Semaphore
	Counter.BoundedCounterVSem

10. Fairness and Optimism

	chapter7_lts/ReadersWriters.lts
	ReadWrite.ReadWriteDemo
	BoundedCounterVOPT -- show commit failures

11. Lab session II

12. Architectural Styles for Concurrency

	Active.PrimeSieve

13. Petri Nets

