4 citations · 6 across the 8 of their papers we have counts for
1 paper · 2 filters
Samy Abbes, Vincent Jugé
A concurrent system is defined as a monoid action of a trace monoid on a finite set of states. Concurrent systems represent state models where the state is distributed and where st…