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.
@inproceedings{YoeliE82,
title = {Behavioral Equivalence of Concurrent Systems},
author = {Michael Yoeli and Tuvi Etzion},
year = {1982},
researchr = {https://researchr.org/publication/YoeliE82},
cites = {0},
citedby = {0},
pages = {292-305},
booktitle = {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},
editor = {Anastasia Pagnoni and Grzegorz Rozenberg},
volume = {66},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-12309-1},
}