57 citations · 234 across the 31 of their papers we have counts for
1 paper · 1 filter
Luca Aceto, Anna Ingolfsdottir, Joshua Sack
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems a…