Axiomatizing Net Computations and Processes

Pierpaolo Degano, Jos Meseguer, Ugo Montanari

Browse the full LICS paper archive.