1. Translating ESTM to CSP Yoriyuki YAMAGATA, Weiqiang KONG, Akira FUKUDA,Noriyuki KATAHIRA, Van Tang NGUYEN, Hitoshi OHSAKI 23 Feb. 2012 Singapore

4. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

5. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

6. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

7. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

8. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

9. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

10. Syntax Sugar

11. Syntax Sugar

12. Syntax Sugar

13. Simple STM P3 S1 e2 P2 P1 S1 S2 e1 S2 S1

14. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

15. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

16. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

17. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

18. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

19. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

20. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

21. Hierarchical events … … e2 … … e4 P1 … S2 e3 e1 S2 S1 T

22. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

23. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

24. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

25. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

26. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

27. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

28. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

29. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

30. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

31. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

32. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

33. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0 return … … e4 P1 S3 S4 e3 S4 S3 T1

34. Hierarchical STM … … e2 □ T1 … S2 e1 S2 S1 T0

35. Hierarchical STM return … … e4 P1 S3 S4 e3 S4 S3 T1

36. Hierarchical STM Where … … e2 □ T1 … S2 e1 S2 S1 T0 … … e4 return … S4 e3 S4 S3 T1