Merkliste 
 1 Ergebnisse 
 
1

CONCUR '90 

theories of concurrency: unification and extension ; Amster...  Lecture notes in computer science ; 458