Unification and Matching in Process Algebras

• Authors:

• Qing Guo;Paliath Narendran;Sandeep K. Shukla

• Affiliations:

• -;-;-

• Venue:
• RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
• Year:
• 1998