Three Metric Domains of Processes for Bisimulation (1993)

Cached

Download Links

by Franck Van Breugel , Franck Van Breugel
Venue:in Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, LNCS
Citations:4 - 2 self