57 citations · 253 across the 38 of their papers we have counts for
1 paper · 2 filters
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…