Convenient categories of processes and simulations I: modulo strong bisimilarity (Category Theory and Computer Science '95, 1995)

(untitled) - Pavlovic, D