Shyamasundar, R. K. Thatcher, J. W.

Language Constructs for Specifying Concurrency in Cdl - 977-993 p.


Compositional Analysis
Concurrency
Data Integration