Merkliste 
 1 Ergebnisse 
 
1

Process algebra 

equational theories of communicating processes  Cambridge tracts in theoretical computer science ; 50