Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract)

• Authors:

• Xinxin Liu

• Affiliations:

• -

• Venue:
• CONCUR '94 Proceedings of the Concurrency Theory
• Year:
• 1994