Characteristic Formulae for Fixed-Point Semantics: A General Framework (2010)

by Luca Aceto, et al.
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:3 - 1 self