Define the weak exponential of two LTSs #390
Description
Define the weak exponential of two LTSs as defined in Definition 3.19 of Daniel Mroz’s PhD thesis.
{{ message }}
Define the weak exponential of two LTSs as defined in Definition 3.19 of Daniel Mroz’s PhD thesis.