History Preserving Bisimulation for Contextual Nets

• Authors:

• Paolo Baldan;Andrea Corradini;Ugo Montanari

• Affiliations:

• -;-;-

• Venue:
• WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
• Year:
• 1999