40 citations · 49 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 9 cited
Characteristic Formulae for Fixed-Point Semantics: A General Framework
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…
cs.LO2006
A Finite Equational Base for CCS with Left Merge and Communication Merge
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir +1
Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and -complete set of valid equations) for the fragment of CCS witho…