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…