Merkliste 
 1 Ergebnisse 
 
1

A behavioural theory of first-order CML:

Ferreira, William ; Hennessy, Matthew
Theoretical Computer Science.  216 (1999)  1-2 - p. 55-107 , 1999