Login / Signup
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version).
Bharat Adsul
Paul Gastin
Saptarshi Sarkar
Pascal Weil
Published in:
CoRR (2020)
Keyphrases
</>
mazurkiewicz traces
temporal logic
real time
special case
closely related
data sets
yield management