Jan Friso Groote

#### 2013-06-14 07:57:27: @jkeiren commented ___ We should compare the effect of alphabet reductions in the specification above to the effect on the following specification: ``` act A, A', A*,...

#### 2013-06-14 07:58:29: @jkeiren commented ___ Replying to [comment:9 jkeiren]: > We should compare the effect of alphabet reductions in the specification above to the effect on the following specification:...

#### 2013-06-16 16:39:04: @jgroote commented ___ Without alphabetreduction this example is quite hard for the lineariser, as the number of potential multi-actions before applying the block operator is quite large:...

#### 2013-08-17 21:53:56: @jgroote changed priority from *critical* to *major*

#### 2013-08-17 21:53:56: @jgroote changed type from *defect* to *enhancement*

#### 2013-08-17 21:53:56: @jgroote

#### 2013-08-17 21:53:56: @jgroote commented ___ The new alphabet reduction will push any operator inside, but determines this quickly. Subsequently, linearising this process is very time consuming as there is...

#### 2014-09-03 16:39:55: @wiegerw

#### 2016-11-17 15:38:48: @wiegerw changed owner from *wieger* to *jfg*

#### 2016-11-24 19:36:03: @wiegerw