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