Tamjid Hossain, Nancy A. Day. Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. In Tao Yue, Mehdi Mirakhorli, editors, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pages 21-29, IEEE, 2021. [doi]
Abstract is missing.