23 citations · 55 across the 16 of their papers we have counts for
1 paper · 1 filter
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…