Merkliste 
 1 Ergebnisse 
 
1

An Algebraic Approach to Refinement with Fair Choice:

Sekerinski, Emil
Electronic Notes in Theoretical Computer Science.  214 (2008)  - p. 51-79 , 2008