Shyamasundar, R. K. Thatcher, J. W. Language Constructs for Specifying Concurrency in Cdl - 977-993 p. Subjects--Topical Terms: Compositional AnalysisConcurrencyData Integration