Concurrency: State Models and Java Programs

Appendix A: FSP Quick Reference

Table A.1: Process operators

Table A.2: Composite process operators

Table A.3: Common process operators

Table A.4: Safety and progress properties

Table A.5: Fluent Linear Temporal Logic