modified: accepted.html

accepted.html

@@ -429,7 +429,6 @@
   probabilistic choice, and a RoboChart model for randomisation based
     on binary probabilistic choice.</div>
 
-  <!--
   <div class="paper"><span class="authors">Jas
   Semrl. </span><span class="title">Domain Range Semigroups and Finite
   Representations</span></div><div class="abstract"><b>Abstract: </b>Relational
@@ -441,7 +440,6 @@
   for ordered domain algebras {0,1,D,R,≤,1',˘,;} [EH13]. We survey the
   results in the area of the finite representation property and raise
     a number of open questions.</div>
-  -->
   
   <div class="paper"><span class="authors">Matthias
   Naaf. </span><span class="title">Computing Least and Greatest Fixed