Login / Signup
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.
Mahsa Varshosaz
Mohammad Reza Mousavi
Published in:
SOFSEM (2019)
Keyphrases
</>
transition systems
product line
model checking
concurrent systems
reactive systems
distributed systems
temporal logic
software product line
control flow
practical reasoning
open source
future directions
finite state
formal methods