Linearity and Bisimulation

Yoshida N, Honda K, Berger M
2002
Chapter
ISSN:
0302-9743
Book Title:
Foundations of Software Science and Computation Structures
Volume:
2303
,
Springer Nature
,
pp.
417 - 433
No abstract available
Keywords:
46 Information and Computing Sciences
DOI
10.1007/3-540-45931-6_29