Le Khanh Trinh

Towards a domain-specific language for developing concurrent applications using bip framework

Concurrent systems play a crucial role in modern software development, enabling applications to handle multiple tasks simultaneously and improve performance by utilizing the full potential of modern hardware. The Behavior-Interaction-Priority (BIP) framework is a model-driven approach for designing and verifying concur...