View of Compositional synthesis of distributed system components based on augmented marked graphs

Return to Article Details Compositional synthesis of distributed system components based on augmented marked graphs Download Download PDF