TY  - BOOK
AU  - Olderog, E R.
TI  - Nets, Terms and Formulas: Three views of concurrent processes and their relationship
SN  - 0 521 40044 9
CY  - USA
KW  - Nets, terms and formulas
ER  -