AXIOMATIZING CCS, NETS AND PROCESSES