Type Checking for a Multiset Rewriting Language

• Authors:

• Pascal Fradet;Daniel Le Métayer

• Affiliations:

• -;-

• Venue:
• Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
• Year:
• 1996