2009): Characteristic formulae for fixed-point semantics: A general framework (0)

by L Aceto, A Ingolfsdottir, J Sack
Venue:In Proc. 16th Workshop on Expressiveness in Concurrency (EXPRESS’09), EPTCS 8