Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
Dusko Pavlovic
Book Title
Theory and Formal Methods of Computing 96
Editor
A. Edalat et al.
Pages
156–167
Publisher
World Scientific
Year
1996
Dusko Pavlovic