Behavioral Equivalence of Concurrent Systems

Michael Yoeli, Tuvi Etzion. Behavioral Equivalence of Concurrent Systems. In Anastasia Pagnoni, Grzegorz Rozenberg, editors, Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982. Volume 66 of Informatik-Fachberichte, pages 292-305, Springer, 1982.

Authors

Michael Yoeli

This author has not been identified. Look up 'Michael Yoeli' in Google

Tuvi Etzion

This author has not been identified. Look up 'Tuvi Etzion' in Google