Acknowledgments                                                                               

1  Introduction                                                                                                                

2  Processes and Threads                                                                                    

3  Concurrent Execution                                                                                                  

4  Shared Objects and Mutual Exclusion                                                                     

5  Monitors and Condition Synchronization                                                                       

6  Deadlock                                                                                                                   

7  Safety and Liveness Properties                                                                                

8  Model-Based Design                                                                                                  

9  Dynamic Systems                                                                                                        

10 Message Passing                                                                                                         

11 Concurrent Architectures                                                                           

12 Timed Systems                                                                                               

13 Program Verification                                                                                                  

14 Logical Properties                                                                                                        

Appendix A      FSP Quick Reference                                                                                

Appendix B      FSP Language Specification                                                                

Appendix C      FSP Semantics                                                                        

Appendix D      UML Class Diagrams                                             

Bibliography                                                                                        

Index