44 citations · 44 across the 4 of their papers we have counts for
1 paper · 1 filter
Valentin Cassano, Thomas S. E. Maibaum
In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other)…