Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.

Mahsa Varshosaz, Mohammad Reza Mousavi

Browse the full SOFSEM paper archive.