9 citations · 16 across the 10 of their papers we have counts for
1 paper · 2 filters
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…