Convenient categories of processes and simulations I: modulo strong bisimilarity
Dusko Pavlovic
Book Title
Category Theory and Computer Science '95
Editor
D. Pitt et al.
Pages
3–24
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
953
Year
1995