Strong bisimilarity on nets: a new concept for comparing net semantics

• Authors:

• Ernst-Rüdiger Olderog

• Affiliations:

• -

• Venue:
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
• Year:
• 1988