16 citations · 46 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 14 cited
Coalgebraic Behavioral Metrics
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra for a fun…
cs.LO2017
Domains and Event Structures for Fusions
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Stable event structures, and their duality with prime algebraic domains arising as partial orders of configurations, are a landmark of concurrency theory, providing a clear charact…