7 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Lukasz Mikulski
Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts o…