?
1
Filters and ultrafilters over definable subsets of admissib..
CWI tract ; 24
Exemplar:
Zentrale:E02 a mat 041 y/737
?
2
Process algebra
equational theories of communicating processes
Cambridge tracts in theoretical computer science ; 50
Exemplar:
Zentrale:E02 a inf 450 ver/372
?
4
Theories of concurrency
unification and extension; Amsterdam, The Netherlands, Augu...
Lecture notes in computer science ; 458
Exemplar:
Zentrale:Magazin 01.p.0195