35 citations · 63 across the 23 of their papers we have counts for
1 paper · 1 filter
Alceste Scalas, Massimo Bartoletti
Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their…