16 citations · 46 across the 17 of their papers we have counts for
1 paper · 1 filter
Paolo Baldan, Richard Eggert, Barbara König +2
Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination…