TY - SER AU - Shyamasundar, R. K. AU - Thatcher, J. W. TI - Language Constructs for Specifying Concurrency in Cdl KW - Compositional Analysis KW - Concurrency KW - Data Integration ER -