View of Formal Specification of Component-Based Software Architectures: Correctness Checking with Parq − Calculus

Return to Article Details Formal Specification of Component-Based Software Architectures: Correctness Checking with Parq − Calculus Download Download PDF