1. A complete model for representing the coordination of asynchronous processes;Agerwala,1974
2. Proof rules dealing with fairness;Apt,1981
3. Relational semantics of concurrent programs (with some applications);Best,1983
4. Some equivalence results on free choice nets and simple nets, and on the periodicity of live free choice nets;Best,1983
5. Net Theory and Applications,1980