Behavioral Equivalence of Concurrent Systems

• Authors:

• Michael Yoeli;Tuvi Etzion

• Affiliations:

• -;-

• Venue:
• Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
• Year:
• 1982