Concurrency in Software Systems

[1]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[2]  Suhas S. Patil,et al.  Closure properties of interconnections of determinate systems , 1970, Project MAC Conference on Concurrent Systems and Parallel Computation.